Theorem LocalSubring.toSubring_injective

Modification history