Theorem Algebra.Extension.cotangentEquiv_tmul

Modification history

2026-09-26 18:40
Mathlib/RingTheory/Extension/Basic.lean
chore: fix misspellings in declaration names (#44049) …
Added Algebra.Extension.cotangentEquiv_tmulView on Github →