Skip to content

prove: 5 more axioms and rename to lemma_#2

Merged
Marsman1996 merged 1 commit into
fix-axiomfrom
fix-axiom-2
Jun 18, 2026
Merged

prove: 5 more axioms and rename to lemma_#2
Marsman1996 merged 1 commit into
fix-axiomfrom
fix-axiom-2

Commits

Commits on Jun 17, 2026