Mathlib v3 is deprecated. Go to Mathlib v4

Theorem convex_join_mono

Modification history

2022-06-20 09:15

src/analysis/convex/join.lean

feat(analysis/convex/join): Join of sets (#14676) …

Added convex_join_mono View on Github →