Theorem Set.PairwiseDisjoint.image_finset_of_le

Modification history