P

Initializing...

Transfer of a cell law through a single coordinate chart: if a chart covers the set `X` and the type event in `X` agrees up to a null set with a set of measure given by the law, then the coefficient m · Prove2Me