Commit 2025-02-18 10:05 aeb799d0

View on Github →

feat: add MulEquiv.Monoid.End (#21419) From flt-regular.

Estimated changes