Theorem Lin_apply

Modification history