Comment by practal
25 days ago
Try composing f : A -> B with g : A -> B, for A ≠ B. Still, f and g are functions. So, what exactly is your point?
25 days ago
Try composing f : A -> B with g : A -> B, for A ≠ B. Still, f and g are functions. So, what exactly is your point?
What is a delta function at a composed with a delta function at b <> a?