Theorem Finset.sups_assoc

Modification history