Theorem MulChar.apply_mem_algebraAdjoin_of_pow_eq_one

Modification history