Def JordanHoelderModule.Iso

Modification history

2024-09-20 00:43

Mathlib/RingTheory/SimpleModule.lean

chore: revert holder -> hoelder (#16955) …

Deleted JordanHoelderModule.Iso View on Github →

2024-09-19 13:48

Mathlib/RingTheory/SimpleModule.lean

chore: Rename `Holder` to `Hoelder` in file names (#16947)

Added JordanHoelderModule.Iso View on Github →