Theorem IsAzumaya.coe_tensorEquivEnd

Modification history

2025-02-14 21:47
Mathlib/Algebra/Azumaya/Basic.lean
chore: tidy various files (#21872)
Added IsAzumaya.coe_tensorEquivEndView on Github →