Theorem Homotopy.mkInductiveAux₂_add_one

Modification history

2024-03-25 02:18
Mathlib/Algebra/Homology/Homotopy.lean
chore: remove @[eqns] in Algebra/Homology/Homotopy (#11648)
Modified Homotopy.mkInductiveAux₂_add_oneView on Github →
2023-07-13 01:24
Mathlib/Algebra/Homology/Homotopy.lean
chore: bump to nightly-2023-07-01 (#5409) …
Added Homotopy.mkInductiveAux₂_add_oneView on Github →