Theorem CategoryTheory.induced_add_inv_app_obj
Modification history
2023-08-18 09:39
Mathlib/CategoryTheory/Shift/Induced.lean
trying to revert unwanted commits
Deleted CategoryTheory.induced_add_inv_app_objView on Github →2023-08-18 09:18
Mathlib/CategoryTheory/Shift/Induced.lean
Merge remote-tracking branch 'origin/shift_induced'
Added CategoryTheory.induced_add_inv_app_objView on Github →2023-08-17 11:16
Mathlib/CategoryTheory/Shift/Induced.lean
refactor(Algebra/Lie/BaseChange): use new tensor product machinery (#6628)
Deleted CategoryTheory.induced_add_inv_app_objView on Github →2023-08-17 15:45
Mathlib/CategoryTheory/Shift/Induced.lean
pleasing the linter
Added CategoryTheory.induced_add_inv_app_objView on Github →