Theorem balanced_neg

Modification history

2024-02-03 07:19

Mathlib/Analysis/LocallyConvex/Basic.lean

chore(Absorbs, Balanced): more lemmas, golf, generalize (#10201) …

Added balanced_neg View on Github →