Def MvFunctor.LiftR

Modification history

2025-04-09 21:09

Mathlib/Control/Functor/Multivariate.lean

chore(QPF/Multivariate/Basic): use strict implicit binder in `liftR_iff` (#23880) …

Modified MvFunctor.LiftR View on Github →

2023-01-24 19:47

Mathlib/Control/Functor/Multivariate.lean

feat: port Control.Functor.Multivariate (#1638)

Added MvFunctor.LiftR View on Github →