emarzion / cantor

constructive formalization of cantor's theorem about dense linear orders without endpoints

Geek Repo

Github PK Tool