Skip to content
Snippets Groups Projects

Add lookup lemmas for partial alter and commuting lemmas for alter

Merged Michael Sammler requested to merge ci/msammler/map_commuting_lemmas into master
Compare changes
  • Side-by-side
  • Inline
Files
1
Loading