Theorem RingCon.ringConGen_idem

Modification history