Theorem Finset.SupIndep.image

Modification history