Theorem RingCon.ringConGen_le

Modification history