Skip to content
GitLab

iCombineOwn now takes as and gives arguments, makes behaviour more predictable for the user.

2 jobs for !771 with ike/own-validity in 15 minutes and 36 seconds (queued for 7 seconds)
latest merge request
7ef30690
1 related merge request: !771 Draft: Add simplification machinery for ✓ and ≼.