Let `iRevert` of a pure hypotheses generate a wand instead of implication. See merge request !789
Attach a file by drag & drop or click to upload