Theorem Finset.SupIndep.attach

Modification history