Commit 2023-04-20 03:35 f965ca42
View on Github →chore: Upgrade reassoc
's simplification skills (#3531)
See zulip discussion
The only lemmas added to reassoc
's simplification set are:
Functor.id_obj, Functor.id_map, Functor.comp_obj, Functor.comp_map
all of which are definitional equalities.