Theorem Test.foo3_works

Modification history