Theorem Algebra.IsAlgebraic.bijective_of_isScalarTower

Modification history