Theorem Set.odd_card_insert_iff

Modification history

2024-09-11 15:57
Mathlib/Data/Set/Card.lean
feat(Data/Set/Finite): added lemmas about cardinality of finite sets (#15652) …
Added Set.odd_card_insert_iffView on Github →