Theorem Finset.SupIndep.product

Modification history