Theorem Valuation.HasExtension.algebraMap_injective

Modification history