Theorem AlgHomClass.unitization_injective

Modification history