book icon indicating copy to clipboard operation
book copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

Page 372 of HoTT ebook is cut off slightly

Open JasonGross opened this issue 10 years ago • 1 comments

On page 372 of the HoTT ebook, The quotient is generated by the following equalities (see Remark 8.7.3) is slightly cut off.

JasonGross avatar Apr 08 '14 07:04 JasonGross

I don't know the right way to fix this.

mikeshulman avatar Apr 17 '14 05:04 mikeshulman