Theorem RingCon.ringConGen_eq

Modification history