Theorem Algebra.IsAlgebraic.isDomain_of_adjoin_range

Modification history