Skip to content

solve_ndisj: handle goals containing _ ∖ _ ∖ _

Ralf Jung requested to merge ralf/solve_ndisj into master

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

Merge request reports