Theorem Finset.card_sups_iff

Modification history