Theorem unitary.mem_iff_star_mul_self

Modification history