Theorem lin_to_con

Modification history