Commit 2022-12-07 22:52 26e28f0e

View on Github →

feat: port Algebra.Hom.Equiv.Units.GroupWithZero (#901) mathlib3 655994e298904d7e5bbd1e18c95defd7b543eb94

Estimated changes