/sci/ - Science & Math

Are all linear functionals of germs of smooth functions automatically derivations, or for tangent vectors do we only consider those functionals that satisfy Leibniz rule? I ask because ive seen tangent vectors defined both ways. I think the first case is correct if we consider the purpose of tangent vectors and how the derivative should behave but idk