Theorem posMulReflectLE_iff_posMulReflectLT

Modification history