Theorem Nat.cast_card_eq_zero

Modification history

2024-06-08 16:29
Mathlib/GroupTheory/OrderOfElement.lean
chore: Move `CharP` lemmas about order of elements (#12816) …
Added Nat.cast_card_eq_zeroView on Github →