Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-25 07:24 a2d50075

View on Github →

chore(topology/algebra/module): prove fst.prod snd = id (#2806)

Estimated changes