Def MvQPF.Cofix.corec'

Modification history

2023-10-19 09:56

Mathlib/Data/QPF/Multivariate/Constructions/Cofix.lean

style: `CoeFun` for `PFunctor.Obj` & `MvPFunctor.Obj` (#7526)

Modified MvQPF.Cofix.corec'View on Github →

2023-07-03 07:59

Mathlib/Data/QPF/Multivariate/Constructions/Cofix.lean

feat: port Data.QPF.Multivariate.Constructions.Cofix (#2444)

Added MvQPF.Cofix.corec'View on Github →