Add generalized implication lemma for big_sepM

4 jobs for !697 with big-op-impl
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #130513
fp

00:13:51

passed build-coq.dev #130512
fp

00:16:26

failed build-coq.8.12.2 #129823
fp

failed build-coq.dev #129822
fp