Theorem ValuationSubring.toLocalSubring_injective

Modification history