Skip to content
Snippets Groups Projects

solve_ndisj: handle goals containing _ ∖ _ ∖ _

Merged solve_ndisj: handle goals containing _ ∖ _ ∖ _
ralf/solve_ndisj into master
Merged Ralf Jung requested to merge ralf/solve_ndisj into master