Def SemiNormedGrp.fork

Modification history

2026-02-24 10:38

Mathlib/Analysis/Normed/Group/SemiNormedGrp/Kernels.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Deleted SemiNormedGrp.fork View on Github →

2024-06-20 02:11

Mathlib/Analysis/Normed/Group/SemiNormedGrp/Kernels.lean

chore: Rename to `Grp` (#3731) …

Added SemiNormedGrp.fork View on Github →