Theorem card_units_lt
Modification history
2021-02-01 03:11
src/ring_theory/fintype.lean
chore(*): golf some proofs (#5983) …
Modified card_units_ltView on Github →2020-07-06 14:12
src/ring_theory/fintype.lean
refactor(*): replace nonzero with nontrivial (#3296) …
Modified card_units_ltView on Github →