Documentation

LeanPool.FormalizingGMT.TangentMeasures.TangentMeasures

Tangent measures #

This umbrella module exports the tangent-measure definitions and the results from Chapter 14.