transport^A in 2.11.4 should be transport^B
unmarked errata for 2595167, close #501
Merge pull request #502 from mikeshulman/thm2.11.4

Thm2.11.4