Apply composition

Stream: general

[Patrick Massot]

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]

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