Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-02 01:12 bacd4da5

View on Github →

chore(data/subtype): fix ∀ vs Π (#1940)

Estimated changes

Modified src/data/subtype.lean

modified def subtype.restrict

modified theorem subtype.restrict_apply