HoTT-Intro icon indicating copy to clipboard operation
HoTT-Intro copied to clipboard

Published 20 hours ago • verified publisher icon EgbertRijke

Broken references to axioms

Open mgrabovsky opened this issue 4 years ago • 0 comments

In the latest development version, 0802dc8, some references to assumed axioms are undefined in the final section.

Screenshot from 2020-09-16 18-58-35

mgrabovsky avatar Sep 16 '20 17:09 mgrabovsky