added pointer to:
added pointer to:
added pointer on discussion in real cohomology for integration of differential forms:
But it was a chance to advertise dependent linear type theory :)
]]>Oh, I had missed that. Right, that makes what I just posted essentially just a duplicate.
(That’s the problem with MO: it will keep reduplicating itself over and over again.)
]]>Was there anything usefully different in the earlier question Ubiquity of the push-pull formula and answers?
]]>The MO question Where do all the projection formulas come from? made me split off a dedicated entry projection formula. Also redirecting reciprocity.
]]>