Commit 2024-10-01 10:43 581d005c
View on Github →feat: inverse of a 1×1 matrix (#17298) The statement is a little strange, so it comes with a docstring to justify it. From https://github.com/eric-wieser/lean-matrix-cookbook
feat: inverse of a 1×1 matrix (#17298) The statement is a little strange, so it comes with a docstring to justify it. From https://github.com/eric-wieser/lean-matrix-cookbook