Merge request pipeline #86757 passed
Merge request pipeline passed for 99c32685 1 year ago
Pipeline #86807 passed
Pipeline passed for 86dfad99 on master 1 year ago
added 1 commit
Compare with previous version
changed title from add map_Forall_fmap to add some map-fmap lemmas
changed the description
Good lemmmas. I tweaked the proofs a bit. Please add a CHANGELOG if you think that is useful and merge.
merged
mentioned in commit 86dfad99