Commits

Branch selector

 master

User selector

EtienneC30

Datepicker

All time

Commit History

Commits on Nov 5, 2025

• chore: turn WithLp into a structure (#27270)

  Show description for e5cab44
  EtienneC30

  committed
  e5cab44

  Copy full SHA for e5cab44

• chore: rewrite Equiv.algebra to make algebraMap defeq (#31268)

  Show description for 46cbccc
  EtienneC30

  committed
  46cbccc

  Copy full SHA for 46cbccc

• feat: characterizing measures over a product space with bounded continuous functions (#31131)

  Show description for d1498bb
  EtienneC30

  committed
  d1498bb

  Copy full SHA for d1498bb

Commits on Nov 4, 2025

• chore: remove redundant measurable space structure on `WithLp` (#31190)

  Show description for d4c295d
  EtienneC30

  committed
  d4c295d

  Copy full SHA for d4c295d

• feat: independence iff indepent from all singletons (#31183)

  EtienneC30

  committed
  084db57

  Copy full SHA for 084db57

• feat: indicator of a null measurable set is aestronglymeasurable (#31158)

  EtienneC30

  committed
  3b8deac

  Copy full SHA for 3b8deac

Commits on Nov 3, 2025

• feat: measure real of the complement of a null measurable set (#31155)

  EtienneC30

  committed
  4298bfc

  Copy full SHA for 4298bfc

• feat: independence from a stochastic process (#31050)

  Show description for 14e9d58
  EtienneC30

  committed
  14e9d58

  Copy full SHA for 14e9d58

Commits on Nov 2, 2025

• feat: integral of the indicator of a null measurable set (#31154)

  EtienneC30

  committed
  0cd2b21

  Copy full SHA for 0cd2b21

• chore: fix typo in IndepSets.bUnion (#31181)

  EtienneC30

  committed
  fb20ff9

  Copy full SHA for fb20ff9

• fix: remove unused `p` argument from linear equivalences about `WithLp ∞` (#31186)

  Show description for ddcbe19
  EtienneC30

  committed
  ddcbe19

  Copy full SHA for ddcbe19

Commits on Nov 1, 2025

• feat: indicator of a null measurable set is integrable (#31157)

  EtienneC30

  committed
  fa601af

  Copy full SHA for fa601af

Commits on Oct 30, 2025

• feat(BoundedContinuousFunction): multiplicative versions (#31089)

  Show description for 82dd791
  EtienneC30

  committed
  82dd791

  Copy full SHA for 82dd791

• feat: characterization of the product measure via bounded continuous functions (#31021)

  Show description for e71302d
  EtienneC30

  committed
  e71302d

  Copy full SHA for e71302d

Commits on Oct 28, 2025

• feat: introduce covarianceBilin (#30324)

  Show description for bbc9111
  

  EtienneC30

  and

  RemyDegenne

  committed
  bbc9111

  Copy full SHA for bbc9111

Commits on Oct 26, 2025

• feat: a sufficient condition for stochastic processes to be independent (#30878)

  Show description for 8dc6b85
  EtienneC30

  committed
  8dc6b85

  Copy full SHA for 8dc6b85

• feat: independence and uncurrying (#30184)

  Show description for f9cb3f9
  EtienneC30

  committed
  f9cb3f9

  Copy full SHA for f9cb3f9

Commits on Oct 23, 2025

• feat: properties of sesquilinear forms over a star ring (#30274)

  EtienneC30

  committed
  7baeab8

  Copy full SHA for 7baeab8

• feat: computations with the matrix associated to a sesquilinear form (#30276)

  EtienneC30

  committed
  84ed40c

  Copy full SHA for 84ed40c

Commits on Oct 22, 2025

• feat: uncurrying the product measure gives the product measure (#30179)

  EtienneC30

  committed
  85017a1

  Copy full SHA for 85017a1

Commits on Oct 21, 2025

• refactor: generalize LinearMap.toMatrix₂ and Matrix.toLinearMap₂ to sesquilinear forms (#30108)

  Show description for c090988
  EtienneC30

  committed
  c090988

  Copy full SHA for c090988

Commits on Oct 13, 2025

• refactor: make ContinuousLinearMap.id protected (#30362)

  Show description for 7a9e177
  EtienneC30

  committed
  7a9e177

  Copy full SHA for 7a9e177

• refactor: rename covarianceBilin to covarianceBilinDual (#30417)

  Show description for eaa1502
  EtienneC30

  committed
  eaa1502

  Copy full SHA for eaa1502

Commits on Oct 8, 2025

• feat: currying as a measurable equivalence (#30161)

  EtienneC30

  committed
  61ed277

  Copy full SHA for 61ed277

• refactor(LinearAlgebra): move SesquilinearForm file in a SesquilinearForm folder (#30277)

  Show description for 595bf89
  EtienneC30

  committed
  595bf89

  Copy full SHA for 595bf89

• feat: define positive semidefinite sesquilinear maps (#28162)

  Show description for 64ce1d7
  EtienneC30

  committed
  64ce1d7

  Copy full SHA for 64ce1d7

Commits on Oct 7, 2025

• feat: toLp and ofLp are analytic (#28473)

  EtienneC30

  committed
  a673886

  Copy full SHA for a673886

Commits on Oct 6, 2025

• feat: preimage of Set.pi by uncurry (#30178)

  EtienneC30

  committed
  4a88b7e

  Copy full SHA for 4a88b7e

Commits on Sep 28, 2025

• feat: links between characteristic function and independence (#26269)

  Show description for df8d6a9
  EtienneC30

  committed
  df8d6a9

  Copy full SHA for df8d6a9

• feat: characteristic function on product space (#26264)

  Show description for fc733ac
  EtienneC30

  committed
  fc733ac

  Copy full SHA for fc733ac

Commits on Sep 9, 2025

• feat: basic properties of toLp and ofLp (#28469)

  Show description for 088f81e
  EtienneC30

  committed
  088f81e

  Copy full SHA for 088f81e

Commits on Aug 30, 2025

• feat: toLp and ofLp are injective (#28471)

  Show description for dc6e7c8
  EtienneC30

  committed
  dc6e7c8

  Copy full SHA for dc6e7c8

Commits on Aug 26, 2025

• feat: ofLp and toLp are continuously differentiable (#28470)

  Show description for 41e9f80
  EtienneC30

  committed
  41e9f80

  Copy full SHA for 41e9f80

Commits on Aug 10, 2025

• chore: turn LinearMap.IsSymm into a structure (#27873)

  Show description for a7e5d7b
  EtienneC30

  committed
  a7e5d7b

  Copy full SHA for a7e5d7b

• feat(ProbabilityTheory): a new predicate HasLaw (#27628)

  Show description for 4f3d768
  EtienneC30

  committed
  4f3d768

  Copy full SHA for 4f3d768

Pagination

Previous

Next