Theorem unitary.mul_star_self

Modification history