Theorem Lin_pi

Modification history