Manuscript XIV-C@1 · XIV-C.tex · section · a34d13df
The inherited analytic release
Release criteria and copied prerequisites › The inherited analytic release · lines 379–383
Properness controls an existing distributional pushforward. It does not define an undefined product.