Theorem IsAlgClosed.algebra_map_surjective_of_is_integral'

Modification history