Theorem Language.one_add_kstar_mul_self_eq_kstar

Modification history