3 ms·
What do you mean by "subtype"? Lean defines a thing calles `Subtype`, members of which are constructed from a value and a property.
by staunton 2y ago
What do you mean by "subtype"? Lean defines a thing calles `Subtype`, members of which are constructed from a value and a property.
- auggierose 2y agoThat might be called Subtype, but is a disjoint type containing different values than the original type. If S is a subtype of T, and x : S, then also x : T.