mathlib documentation

control.equiv_functor.instances

equiv_functor instances #

We derive some equiv_functor instances, to enable equiv_rw to rewrite under these functions.

@[instance]
Equations
@[instance]
Equations
@[instance]
Equations
@[instance]
Equations