Theorem unitary.star_eq_inv'

Modification history