Theorem Finset.sup_attach

Modification history