Skip to content

Latest commit

 

History

History
71 lines (55 loc) · 2.14 KB

IsBounded.agda

File metadata and controls

71 lines (55 loc) · 2.14 KB