Theorem MulAction.toPerm_injective

Modification history