Theorem Test.bar0_works

Modification history