Theorem natCard_units_lt

Modification history

2025-03-17 01:20
Mathlib/RingTheory/Fintype.lean
feat: add some elementary number theory lemmas (#22989) …
Added natCard_units_ltView on Github →