Code

Bump mathlib.#4

Code

Open

cipher1024 wants to merge 3 commits intorwbarton:lean-3.4.2rwbarton/lean-homotopy-theory:lean-3.4.2from cipher1024:lean-3.4.2cipher1024/lean-homotopy-theory:lean-3.4.2Copy head branch name to clipboard

+6-6

Commits

Commits on Nov 8, 2019

• Bump mathlib.

  cipher1024

  committed
  56264da

  Copy full SHA for 56264da

Commits on Nov 20, 2019

• Update smush.lean

  cipher1024

  authored
  3bd33a0

  Copy full SHA for 3bd33a0

Commits on Nov 27, 2019

• Bump mathlib.

  cipher1024

  committed
  32c2108

  Copy full SHA for 32c2108