Theorem MulSemiringAction.toAlgEquiv_injective

Modification history