BaseChange
📁 Source: FLT/Mathlib/RingTheory/Localization/BaseChange.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 4 | |
| Total | 4 |
IsLocalization
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
map_moduleTensorEquiv_symm_tmul 📖 | — | — | — | — | — |
map_moduleTensorEquiv_tmul 📖 | — | — | — | — | — |
moduleLid_symm_apply 📖 | — | — | — | — | — |
tensorProduct_ext 📖 | — | — | — | — | — |
---