Theorem foo2_lin

Modification history