Theorem RingCon.inf_iff_and

Modification history