Stream: Is there code for X?
Chris Hughes (May 06 2020 at 12:59):
Do we have a version of
subtype.property that returns a proof of
p ↑a instead of
Yury G. Kudryashov (May 06 2020 at 13:18):
val_prop' should be modified to take any
Last updated: May 19 2021 at 02:10 UTC