Theorem IsUnit.mem_unitary_iff_star_mul_self

Modification history