Test élimination du faux
This commit is contained in:
parent
e51762b03b
commit
7eb605eb83
3
tests/elim-faux.8pus
Normal file
3
tests/elim-faux.8pus
Normal file
@ -0,0 +1,3 @@
|
||||
False -> A
|
||||
intro f.
|
||||
elim f.
|
||||
Loading…
x
Reference in New Issue
Block a user