Theorem Monotone.iInf_comp_eq

Modification history