feat: congr_simp as realizable constant
#9998
Triggered via pull request
May 25, 2025 19:36
leodemoura
leodemoura
labeled
#8474
Status
Skipped
Total duration
2s
Artifacts
–