Theorem Finset.SupIndep.bunionᵢ

Modification history