Theorem MulChar.exists_apply_eq_pow

Modification history