Theorem unitary.star_eq_inv

Modification history