## Stream: general

### Topic: Apply composition

#### Patrick Massot (Feb 27 2019 at 09:43):

Is there a reason for the duplication function.comp_app = function.comp_apply between core and mathlib? Is it because of naming conventions?

#### Kenny Lau (Feb 27 2019 at 09:46):

because mathlib blah blah blah independent of core blah blah blah because it will not be in core soon blah blah blah

Last updated: May 10 2021 at 18:22 UTC