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)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #137949
fp

00:08:32

passed build-coq.dev #137948
fp

00:08:19