Theorem Module.Basis.PowerBasis_gen

Modification history

2025-09-29 15:37
Mathlib/RingTheory/PowerBasis.lean
feat(PowerBasis): various ways to create power bases (#29674) …
Added Module.Basis.PowerBasis_genView on Github →