[next] [prev] [prev-tail] [tail] [up]
Mini Proof
mp
In 0 or 1 force, the mp command allows to use the prover without using proof by case. This command is similar to pr(Red)(see chapter 4.38 page §).
See command pr(Red).
[next] [prev] [prev-tail] [front] [up]