Skip to content

solve_ndisj: handle goals containing _ ∖ _ ∖ _

Ralf Jungrequested to merge
ralf/solve_ndisj into master

This resolves the last remaining solve_ndisj FIXME in lambda-rust. :)

Merge request reports