WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Invertible matrix
Revision #3113 → #3237 ·
back to history
modified
One-sided inverse implies two-sided
11eaf6802719
Field
From #3113
To #3237
mathlib.decl
Matrix.mul_eq_one_comm
mul_eq_one_comm
provenance
ai
ai-moderated