fix a \Pi that should have been \prd
Merge branch 'master' of github.com:HoTT/book