Theorem absorbent_iff_forall_absorbs_singleton
Modification history
2022-03-12 13:35
src/analysis/locally_convex/basic.lean
split(analysis/locally_convex/basic): Split off `analysis.seminorm` (#12624) …
Modified absorbent_iff_forall_absorbs_singletonView on Github →