Theorem MulChar.ringHomComp_pow

Modification history