Def Subadditive

Modification history

2026-09-30 08:09

Mathlib/Analysis/Subadditive.lean

feat(Analysis/Subadditive): multiplicative Fekete's lemma (#42605) …

Deleted Subadditive View on Github →

2023-03-10 22:18

Mathlib/Analysis/Subadditive.lean

feat: port Analysis.Subadditive (#2772)

Added Subadditive View on Github →