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