Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
6526d2b
sigma-algebra for normed modules + sfun codomain sigma ring & module …
Jul 8, 2026
5e79d43
added image_indic_lmod_sub
Jul 9, 2026
de4f13a
rebase
Nov 10, 2026
bf3fdfd
small fixes
Nov 10, 2026
d5cfc55
add normedtype_measure.v
affeldt-aist Nov 12, 2026
5e2fb8d
changelog
affeldt-aist Nov 12, 2026
893c162
fix changelog
affeldt-aist Nov 12, 2026
9661ebe
improvement?
affeldt-aist Nov 12, 2026
9cb23cc
generalize SimpleFun codomain from realType to sigmaRingType
hoheinzollern Jun 6, 2026
abf11fd
generalize fctD and fctN codomain from pzRingType to nmodType and zmo…
hoheinzollern Jun 6, 2026
b8a1dbf
80 char limit
hoheinzollern Jun 6, 2026
0e8d64b
add Borel sigma-algebra wrapper borel_type and measurable singletons
hoheinzollern Jun 6, 2026
73372b3
lmodType structure on simple functions valued in a normed module
hoheinzollern Jun 6, 2026
fcecb86
added doc
Jun 8, 2026
c5590e8
copy on borel_type
hoheinzollern Jun 16, 2026
92bffaf
drop borel_type wrap on sfun_op and submodule structure
hoheinzollern Jun 19, 2026
b8bcd17
started work on top of pr 1988
Jun 22, 2026
9fb4b86
generalize SimpleFun codomain from realType to sigmaRingType
hoheinzollern Jun 6, 2026
62d50f6
80 char limit
hoheinzollern Jun 6, 2026
ad5f375
add Borel sigma-algebra wrapper borel_type and measurable singletons
hoheinzollern Jun 6, 2026
94d09c4
generalize SimpleFun codomain from realType to sigmaRingType
hoheinzollern Jun 6, 2026
75316cd
copy on borel_type
hoheinzollern Jun 16, 2026
ab23af5
started work on top of pr 1988
Jun 22, 2026
19fcef9
merge with measurableTypeNormed
Jul 8, 2026
eb07cc9
started adding bochner.v
Jul 9, 2026
3479607
clean-up
Aug 12, 2026
217e352
generalize SimpleFun codomain from realType to sigmaRingType
hoheinzollern Jun 6, 2026
9c8a0cf
80 char limit
hoheinzollern Jun 6, 2026
061da84
add Borel sigma-algebra wrapper borel_type and measurable singletons
hoheinzollern Jun 6, 2026
40b514b
lmodType structure on simple functions valued in a normed module
hoheinzollern Jun 6, 2026
19a98f9
added doc
Jun 8, 2026
fa5c81f
copy on borel_type
hoheinzollern Jun 16, 2026
cb4559b
started work on top of pr 1988
Jun 22, 2026
b4cb7c1
merge with measurableTypeNormed
Jul 8, 2026
1b46692
started adding bochner.v
Jul 9, 2026
1c9f229
clean-up
Aug 12, 2026
97513a6
junk
Sep 16, 2026
39d1455
file mode
affeldt-aist Nov 13, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading