Theorem slope_fun_def_field

Modification history