Theorem FaithfulSMul.algebraMap_injective

Modification history