Theorem unitary.coe_mul_star_self

Modification history