Skip to content

Files

Latest commit

 

History

History
43 lines (39 loc) · 1.86 KB

lemmas-ground.agda

File metadata and controls

43 lines (39 loc) · 1.86 KB