Add generalized implication lemma for big_sepM

4 jobs for !697 with big-op-impl
merge request