Def AbsConvex

Modification history

2025-10-14 23:03

Mathlib/Analysis/LocallyConvex/AbsConvex.lean

refactor(Analysis/LocallyConvex/AbsConvex): Redefine AbsConvex to use a single ring of scalars (#29342) …

Modified AbsConvex View on Github →

2024-10-17 07:12

Mathlib/Analysis/LocallyConvex/AbsConvex.lean

feat(Analysis/LocallyConvex/AbsConvex): Define the Absolutely Convex Hull (#17029) …

Added AbsConvex View on Github →