Theorem Finset.infᵢ_bunionᵢ

Modification history