Skip to content

fix: do not pretty print theorems with generalized field notation#3750

Merged
kmill merged 1 commit intoleanprover:masterfrom kmill:field_notation_no_proofMar 23, 2024
+26-23

Commits