Theorem add_Lin

Modification history