Theorem Monotone.infᵢ_comp_eq

Modification history