Skip to content

fractional theorem numbers; see #601#613

Open
mikeshulman wants to merge 2 commits into
HoTT:masterfrom
mikeshulman:newthm
Open

fractional theorem numbers; see #601#613
mikeshulman wants to merge 2 commits into
HoTT:masterfrom
mikeshulman:newthm

remark on errata and numbering in intro

fc089b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs