-
Ralf Jung authored
Add introduction pattern `-# pat` to move a hypothesis to the spatial context Closes #213 See merge request iris/iris!370
45383da9
Add introduction pattern `-# pat` to move a hypothesis to the spatial context Closes #213 See merge request iris/iris!370