Li-Fan Chen
says to
YSITD
@lambda1 要有哪些先備知識才能看懂 HoTT 啊