Theorem Set.cast_ncard

Modification history

2024-12-19 13:05
Mathlib/Data/Set/Card.lean
feat(Combinatorics/SimpleGraph): setup of universal vertices (#20023) …
Added Set.cast_ncardView on Github →