Open main menu

Changes

===Derivabilidade de regras===
==== <math>\mathrm{(DNE) }</math> a partir de DNint + (<math>\mathrm{\bot E_{cls}}</math>) ====
<!---->{{#ev:youtube|0RiYJ5EinRE}}