Changes

Jump to navigation Jump to search
no edit summary
== Validade de sequentes em uma interpretação fixa ==
=== <math> w \approx x f (y g z) </math> ▷ <math> ^{\mathfrak{I}} w \approx (x f y) g (x f z) </math> ===
: {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}}

Navigation menu