Theorem unitary.coe_star_mul_self

Modification history