Skip to content

Add lookup lemmas for partial alter and commuting lemmas for alter

Michael Sammler requested to merge ci/msammler/map_commuting_lemmas into master

Merge request reports