]> matita.cs.unibo.it Git - helm.git/tree
"by j let x : T such that P(x)" generalized to allow arbitrary justifications.
drwxr-xr-x - helm