Theorem MonoidAlgebra.exists_leftInverse_of_injective

Modification history