Open SrutiG opened 5 years ago
If a step has the same name as a step in another goal, the proofs end up consolidating under the same step when they should be different for each goal
If a step has the same name as a step in another goal, the proofs end up consolidating under the same step when they should be different for each goal