-
Robbert Krebbers authored
In this case, we cannot use all the hypotheses for proving the premises as well as for the remaining goal.
ac2fe511
In this case, we cannot use all the hypotheses for proving the premises as well as for the remaining goal.