Def HahnModule.rec

Modification history

2024-05-17 07:11

Mathlib/RingTheory/HahnSeries/Multiplication.lean

feat (Algebra/Vertex) Heterogeneous vertex operators (#11797) …

Modified HahnModule.rec View on Github →

2024-02-16 04:51

Mathlib/RingTheory/HahnSeries.lean

chore: Split HahnSeries file (#10595) …

Modified HahnModule.rec View on Github →

2024-02-14 01:35

Mathlib/RingTheory/HahnSeries.lean

feat: HahnModule action by HahnSeries (#10164) …

Added HahnModule.rec View on Github →