Theorem FractionRing.algebraMap_liftAlgebra

Modification history