Skip to content

refactor(QED): name even anomaly-cancellation planes - #1507

Merged
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
catlover-bot:refactor/qed-even-plane-naming
Aug 11, 2026
Merged

refactor(QED): name even anomaly-cancellation planes#1507
jstoobysmith merged 3 commits into
leanprover-community:masterfrom
catlover-bot:refactor/qed-even-plane-naming

style(QED): wrap renamed mixed-plane lemmas

17aebe7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view