Manuscript XIV-J@1 · XIV-J.tex · section · 1c0e72ca
XIV-I's precomposition sum
J0: copied premises and their domains › XIV-I's precomposition sum · lines 519–527
Let be the constant fiber map defined by
Displayed formulas in this passage
unlabeled · line 523