Theorem RingCon.ringConGen_mono

Modification history