Theorem CFC.mul_self_eq

Modification history