Theorem Set.ncard_compl_of_ncard_eq_add

Modification history

2026-06-18 10:07
Mathlib/Data/Set/Card.lean
feat(LinearAlgebra): generators of pi tensor products (#26464) …
Added Set.ncard_compl_of_ncard_eq_addView on Github →