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

Commits

Commits on Jan 16, 2014