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.

Estimated changes