-
MARCHE Claude authored
- copy from a transformation to a proof node works, adding the transformation below the target node - when copied transformation as less or more subgoals, then only the first subgoals are copied - explicit error message in case of invalid copy
a97edee6