Theorem MulChar.inv_apply_eq_inv

Modification history