OAI/Geometry/RCD/Metric/SubtypeDensitySupport.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A density of a subtype law vanishes outside the subtype

  1. theorem OAI.RegularPointCoordinates.subtype_density_zero_off line 12