Theorem unitary.star_mul_self_of_mem

Modification history