Commit 2026-05-28 12:19 c88b0980

View on Github →

feat(RingTheory/Multiplicity): multiplicity x 0 = 1 (#39947)

Estimated changes

added theorem multiplicity_zero