Theorem Language.one_add_self_mul_kstar_eq_kstar

Modification history