move lax colimits to footnote and mention same as pseudo here, close #739
Merge pull request #741 from mikeshulman/lax

move lax colimits to footnote and mention same as pseudo here
make footnote into parenthetical
Merge pull request #742 from mikeshulman/lax

make footnote into parenthetical
Update formal.tex

Changed the period ending the line to a colon, to be consistent with lines 285 and 294, and to avoid a lowercase letter following a period.
Merge pull request #745 from Pierre-Yves-Gaillard/patch-1

Update formal.tex