Remove unused OptionT.run simp argument in three WP lemmas#7

astefano wants to merge 1 commit into

verse-lab:masterverse-lab/loom2:masterfrom

astefano:fix/unused-optiont-run-simpastefano/loom2:fix/unused-optiont-run-simpCopy head branch name to clipboard