Commit 2024-02-11 13:33 750e6f24
View on Github →feat(LocallyConvex/Bounded): add IsVonNBounded.add
etc (#10135)
- add
IsVonNBounded.add
,IsVonNBounded.vadd
, andisVonNBounded_vadd
; - generalize some lemmas in
Topology/Algebra/Monoid
fromMonoid
toMulOneClass
, move them to a new section.