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

Commit

5 years ago

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

Author

urkud

urkud

Parents

Loading