Theorem PowerBasis.finrank

Modification history

2024-02-15 21:17
Mathlib/RingTheory/PowerBasis.lean
feat: the absolute discriminant of cyclotomic fields (#10492) …
Modified PowerBasis.finrankView on Github →
2023-05-23 07:30
Mathlib/RingTheory/PowerBasis.lean
feat: port RingTheory.PowerBasis (#4238)
Added PowerBasis.finrankView on Github →