Skip to content

GitLab

Add changelog entry for big_sepM implication lemmas

2 jobs for !697 with big-op-impl in 8 minutes and 32 seconds (queued for 3 seconds)
merge request
d4423268
1 related merge request: !697 Add generalized implication lemma for big_sepM