Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-07 15:39 9a2c2998

View on Github →

feat(data/pi): add pi.single_inj (#10644)

Estimated changes

Modified src/data/pi.lean

added theorem pi.single_inj