Theorem MulChar.ringHomComp_inv

Modification history