Theorem ValuationRing.range_algebraMap_eq

Modification history