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