### Change order of eassumption and reflexivity in fast_done

This has bothered me repeatedly in proofs, now I finally got around to fix it at the source

Showing

Please register or sign in to comment

This has bothered me repeatedly in proofs, now I finally got around to fix it at the source

Showing
with
**5 additions**
and
**2 deletions**
**+5**
**-2**

Please register or sign in to comment