Theorem NormedAddGroupHom.lipschitzWith

Modification history

2026-09-29 11:56

Mathlib/Analysis/Normed/Group/Hom.lean

chore(*): rename (anti)lipschitz to (anti)lipschitzWith (#44262) …

Added NormedAddGroupHom.lipschitzWith View on Github →