EquivFunctor
instances #
We derive some EquivFunctor
instances, to enable equiv_rw
to rewrite under these functions.
Mathlib.Control.EquivFunctor.Instances
EquivFunctor
instances #We derive some EquivFunctor
instances, to enable equiv_rw
to rewrite under these functions.