Modif d'un test
This commit is contained in:
parent
f6be1ad6da
commit
188bc43576
@ -2,4 +2,4 @@
|
|||||||
intro f.
|
intro f.
|
||||||
intro b.
|
intro b.
|
||||||
intro a.
|
intro a.
|
||||||
apply f.
|
cut B -> C
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user