Theorem faithfulSMul_iff_algebraMap_injective

Modification history