RelativeError: the transported Piola vector has controlled cell L² norm

theorem AVenhance.Infra.Section5.RelativeError.TransportPiolaCellBound.vecNorm_le_sqrt_vecNormSq (v : Homogenization.Vec 2) : ‖v‖ ≤ √(Homogenization.vecNormSq v)