Change notation for functions infinitesimal wrt identity
Fix the chain rule proof