Theorem FreeCommRing.of_cons

Modification history