mathlib documentation

core.init.control.functor

def functor.map_const_rev {f : Type uType v} [functor f] {α β : Type u} :
f βα → f α

Equations