Theorem Set.ncard_coe_Finset

Modification history

2024-06-25 12:23

Mathlib/Data/Set/Card.lean

refactor: Improve lemmas about sets of intermediate size (#14062) …

Modified Set.ncard_coe_Finset View on Github →

2023-06-06 18:52

Mathlib/Data/Set/Ncard.lean

feat: port Data.Set.Ncard (#4591) …

Added Set.ncard_coe_Finset View on Github →