Theorem Function.FactorsThrough.comp_left

Modification history

2024-04-19 20:51
Mathlib/Logic/Function/Basic.lean
chore(Logic): reduce use of autoImplicit (#12135) …
Modified Function.FactorsThrough.comp_leftView on Github →
2024-04-04 22:42
Mathlib/Logic/Function/Basic.lean
chore: tidy various files (#11624)
Modified Function.FactorsThrough.comp_leftView on Github →
2024-02-13 12:46
Mathlib/Logic/Function/Basic.lean
feat(Function): add `FactorsThrough.comp_{left,right}` (#10449) …
Added Function.FactorsThrough.comp_leftView on Github →