Theorem Algebra.FiniteType.adjoin_of_finite

Modification history

2025-10-07 08:33
Mathlib/RingTheory/FiniteType.lean
feat(RingTheory/Presentation): core of a presentation (#24794) …
Added Algebra.FiniteType.adjoin_of_finiteView on Github →