Def CategoryTheory.Functor.mapDifferentialObject

Modification history

2023-06-13 23:55

Mathlib/CategoryTheory/DifferentialObject.lean

feat: port CategoryTheory.DifferentialObject (#4020)

Added CategoryTheory.Functor.mapDifferentialObject View on Github →