Commit 2023-01-20 10:47 1a344abb

View on Github →

feat : port RingTheory.Fintype (#1712)

Estimated changes

added theorem card_units_lt