Zulip Chat Archive
Stream: Is there code for X?
Topic: subtype.property'
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 p a.val?
Yury G. Kudryashov (May 06 2020 at 13:18):
Probably val_prop and val_prop' should be modified to take any subtype.
Last updated: May 02 2025 at 03:31 UTC