Theorem NonUnitalStarRingHom.one_apply

Modification history