Theorem Language.mul_self_kstar_comm

Modification history