Commit 2026-03-31 14:02 d4d96de5

View on Github →

chore: golf Cardinal.mul_eq_self (#37372)

Estimated changes

modified theorem Cardinal.mul_eq_self