Closed Clare72 closed 2 weeks ago
fixes #1862 also fixes an issue with other patterns making SC (A + B) style axioms
fixes #1862 also fixes an issue with other patterns making SC (A + B) style axioms