Theorem Function.FactorsThrough.comp_right

Modification history

2024-04-19 20:51

Mathlib/Logic/Function/Basic.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified Function.FactorsThrough.comp_right View on Github →

2024-02-13 12:46

Mathlib/Logic/Function/Basic.lean

feat(Function): add `FactorsThrough.comp_{left,right}` (#10449) …

Added Function.FactorsThrough.comp_right View on Github →