Theorem Set.ncard_compl_add_ncard

Modification history

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