Skip to content

chore: convenience constructor for IsImmersionAtOfComplement#41646

Open
grunweg wants to merge 10 commits into
leanprover-community:masterfrom
grunweg:immersions-convenience-chart-version
Open

chore: convenience constructor for IsImmersionAtOfComplement#41646
grunweg wants to merge 10 commits into
leanprover-community:masterfrom
grunweg:immersions-convenience-chart-version

chore: add convenience version of IsImmersionAtOfComplement.mk_of_con…

e00672a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-and-report-new-contributor
succeeded Jul 12, 2026 in 5s