Theorem Finset.forall_disjSups_iff

Modification history