As discussed with @robbertkrebbers. Defining the notation using "eqn:"
instead of "eqn" ":"
breaks the eqn:
notation for destruct
. I don't know if "eqn" ":"
potentially breaks anything.
As discussed with @robbertkrebbers. Defining the notation using "eqn:"
instead of "eqn" ":"
breaks the eqn:
notation for destruct
. I don't know if "eqn" ":"
potentially breaks anything.