Expii

Extension: Mean Value Theorem for Projections of Parametric Paths - Expii