Using the magic wand to remove the identity on the W node deletes all edges in the diagram #349
Labels
Category: Proof mode
Issues and enhancements related to Proof mode
Priority: High
Type: bug
Something is not right
The text was updated successfully, but these errors were encountered: