Theorem Set.ncard_coe

Modification history

2025-07-08 14:14

Mathlib/Data/Set/Card.lean

chore(Data/Set/Card): adjust naming and simp set (#26791) …

Modified Set.ncard_coe View on Github →

2025-02-07 14:21

Mathlib/Data/Set/Card.lean

feat(GroupTheory/GroupAction/Iwasawa): the Iwasawa criterion for simplicity (#12048) …

Added Set.ncard_coe View on Github →