Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-23 07:52 8ef6f08f

View on Github →

chore(*): add mathlib4 synchronization comments (#18634) Regenerated from the port status wiki page. Relates to the following files:

  • algebra.lie.subalgebra
  • category_theory.limits.shapes.kernel_pair
  • category_theory.monoidal.preadditive
  • category_theory.preadditive.single_obj
  • linear_algebra.sesquilinear_form
  • number_theory.padics.padic_val
  • ring_theory.localization.fraction_ring
  • topology.algebra.uniform_ring
  • topology.covering
  • topology.fiber_bundle.basic

Estimated changes