chore: comments in Constprop.lean
#17
+1
−1
Merged
Constprop.lean
#17