Theorem ValuationSubring.isMax_toLocalSubring

Modification history