Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-01 07:48 582ee9ee

View on Github →

feat(logic/basic): subtype.subsingleton (#8138)

Estimated changes

added theorem subtype.subsingleton