Def MvFunctor.ofEquiv

Modification history

2024-02-21 15:14
Mathlib/Control/Functor/Multivariate.lean
feat: transport an `MvQPF` instance along an equivalence (#10806) …
Added MvFunctor.ofEquivView on Github →