book icon indicating copy to clipboard operation
book copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

fractional theorem numbers; see #601

Open mikeshulman opened this issue 11 years ago • 0 comments

mikeshulman avatar Jan 16 '14 17:01 mikeshulman