Theorem Set.PairwiseDisjoint.elim_finset

Modification history