Correctly cite ex:sigma-assoc in proof of fibwise-fiber-total-fiber-equiv.
Errata for 49c789c, unmarked.
Merge pull request #456 from cangiuli/issue-452

Fix proof of Theorem 4.7.6, closing #452