Remove iff from IntroElim
Ich denke, man könnte guten Gewissens die Regeln für die Biimplikation unter Verweis auf die Definition (z.B. einfach via Print "<->".
) entfernen.
Ich denke, man könnte guten Gewissens die Regeln für die Biimplikation unter Verweis auf die Definition (z.B. einfach via Print "<->".
) entfernen.