Theorem MulChar.star_eq_inv

Modification history