Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-27 03:05 4b261a86

View on Github →

chore(algebra/smul_with_zero): add missing injective / surjective transferring functions (#6892)

Estimated changes

added theorem smul_zero'
modified theorem zero_smul