Skip to content

feat: companion lemmas to MeromorphicOn.exists_ecanonicalDecomp, API for the extended canonical decomposition#41496

Open
kebekus wants to merge 1 commit into
leanprover-community:masterfrom
kebekus:kebekus/canonicalDecomp.3
Open

feat: companion lemmas to MeromorphicOn.exists_ecanonicalDecomp, API for the extended canonical decomposition#41496
kebekus wants to merge 1 commit into
leanprover-community:masterfrom
kebekus:kebekus/canonicalDecomp.3

Update CanonicalDecomposition.lean

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