WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Linear equation
Revision #2172 → #2603 ·
back to history
modified
Solutions form a hyperplane (n variables)
eb16d2c263eb
Field
From #2172
To #2603
mathlib.decl
finrank_range_add_finrank_ker
LinearMap.finrank_range_add_finrank_ker
provenance
ai
ai-moderated