Proof Theory

Create traire
3y
Style
False
Update traire
3y
Meta Style
False