Theorem Finset.supᵢ_bunionᵢ

Modification history