Commit 2023-03-11 19:28 2941a890

View on Github →

chore: bump to nightly-2023-03-09 (#2762)

Estimated changes

Modified Mathlib/Algebra/Field/Basic.lean

Modified Mathlib/Algebra/Field/Defs.lean

Modified Mathlib/Data/Rat/Basic.lean

Modified Mathlib/Data/Rat/Cast.lean

modified theorem Rat.cast_id

Modified Mathlib/LinearAlgebra/TensorProduct.lean

modified theorem TensorProduct.lid_tmul

modified theorem TensorProduct.rid_tmul

Modified Mathlib/Tactic/IrreducibleDef.lean

Modified lake-manifest.json

Modified lean-toolchain