Theorem CategoryTheory.DifferentialObject.eqToHom_f'

Modification history

2023-07-30 23:31

Mathlib/Algebra/Homology/DifferentialObject.lean

feat: allow differential objects with shifts in an AddMonoidWithOne (#6246) …

Modified CategoryTheory.DifferentialObject.eqToHom_f'View on Github →

2023-06-29 10:11

Mathlib/Algebra/Homology/DifferentialObject.lean

feat: port Algebra.Homology.DifferentialObject (#5033)

Added CategoryTheory.DifferentialObject.eqToHom_f'View on Github →