Stream: math-comp analysis

Topic: classical sets vs. subType

view this post on Zulip Jelle Wemmenhove (Jan 11 2024 at 16:00):

Hi, I was wondering what the difference is between math-comp analysis's 'classical sets' and math-comp's 'subTypes' as in mathcomp/ssreflect/eqtype.v. Why are there two approaches to working with subsets?

Last updated: Jun 25 2024 at 18:02 UTC