Theorem slope_def_field

Modification history