Commit 2024-05-11 02:49 b6363b13

View on Github →

docs: fix some docs (#12760)

Estimated changes

Modified Mathlib/Algebra/AddConstMap/Basic.lean

Modified Mathlib/Algebra/Algebra/Equiv.lean

Modified Mathlib/Algebra/Algebra/NonUnitalHom.lean

Modified Mathlib/Algebra/Algebra/Prod.lean

modified def AlgHom.prodEquiv

Modified Mathlib/Algebra/Algebra/Subalgebra/Unitization.lean