Skip to content

Latest commit

 

History

History
63 lines (61 loc) · 1.98 KB

lemmas-subst-matching.agda

File metadata and controls

63 lines (61 loc) · 1.98 KB