Theorem StarSubalgebra.coe_isUnit

Modification history