Theorem Finset.forall_sups_iff

Modification history