Commit 2026-09-18 14:05 1f22924f
View on Github →doc(Matrix): mention bundled forms in docstrings (#41438) Followup to https://github.com/leanprover-community/mathlib4/pull/39123#issuecomment-4798925362
doc(Matrix): mention bundled forms in docstrings (#41438) Followup to https://github.com/leanprover-community/mathlib4/pull/39123#issuecomment-4798925362