Theorem slope_def_module

Modification history