Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Feb 19, 2026

• fix notations more

  Timeroot

  committed
  410e7f2

  Copy full SHA for 410e7f2

• Progress on positivity, additivity

  Timeroot

  committed
  e9cc3cb

  Copy full SHA for e9cc3cb

• Change CPTPMap.prod notation

  Show description for 6938f95
  Timeroot

  committed
  6938f95

  Copy full SHA for 6938f95

Commits on Feb 18, 2026

• fix

  Show description for bc17682
  Timeroot

  committed
  bc17682

  Copy full SHA for bc17682

• Weak subaddivity, cleanup

  Show description for 317fc2d
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  317fc2d

  Copy full SHA for 317fc2d

Commits on Feb 17, 2026

• Projecctions of submodules

  Show description for e3a3aba
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  e3a3aba

  Copy full SHA for e3a3aba

• Split Entropy + AxiomatizedEntropy

  Timeroot

  committed
  a083dff

  Copy full SHA for a083dff

• Sᵥₙ_of_partial_eq

  Show description for cfcd959
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  cfcd959

  Copy full SHA for cfcd959

• Weak Monotonicity

  Show description for 6bf8d1d
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  6bf8d1d

  Copy full SHA for 6bf8d1d

• Update DOC.md

  Timeroot

  committed
  4de120a

  Copy full SHA for 4de120a

• Continuity facts about entropy

  Timeroot

  committed
  b9321de

  Copy full SHA for b9321de

Commits on Feb 16, 2026

• finish(?) cleanup

  Timeroot

  committed
  9c78a46

  Copy full SHA for 9c78a46

Commits on Feb 15, 2026

• Merge branch 'main' of https://github.com/Timeroot/Lean-QuantumInfo

  Timeroot

  committed
  5092d5b

  Copy full SHA for 5092d5b

• big cleanup

  Show description for a0b699b
  Timeroot

  committed
  a0b699b

  Copy full SHA for a0b699b

Commits on Feb 11, 2026

• fix url in readme

  Timeroot

  authored
  cabe28e

  Copy full SHA for cabe28e

Commits on Feb 9, 2026

• Entropy facts

  Timeroot

  committed
  b9ca72c

  Copy full SHA for b9ca72c

Commits on Feb 7, 2026

• fix lowersemi claims

  Timeroot

  committed
  4c28862

  Copy full SHA for 4c28862

Commits on Feb 6, 2026

• fixes from CPTPMap cleanup

  Timeroot

  committed
  f0afd62

  Copy full SHA for f0afd62

• Finish MatrixMap fixes

  Timeroot

  committed
  d9952fc

  Copy full SHA for d9952fc

• Pinching done!

  Timeroot

  committed
  04ec376

  Copy full SHA for 04ec376

• some MatrixMap cleanup

  Timeroot

  committed
  da33e81

  Copy full SHA for da33e81

Commits on Feb 5, 2026

• Merge pull request #19 from Ruizsolveall/feat/ket-euclid-step1

  Show description for 4ae4968
  Timeroot

  authored
  4ae4968

  Copy full SHA for 4ae4968

Commits on Feb 3, 2026

• fix, add Sᵥₙ_triangle_subaddivity

  Show description for 9bba3c6
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  9bba3c6

  Copy full SHA for 9bba3c6

• Cleanup, aristotle sorries

  Show description for 609e437
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  609e437

  Copy full SHA for 609e437

Commits on Feb 2, 2026

• CPTP.instMixable

  Show description for 094f6b2
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  094f6b2

  Copy full SHA for 094f6b2

• some proofs

  Show description for 9a96430
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  9a96430

  Copy full SHA for 9a96430

• finish Isometry.lean

  Timeroot

  committed
  e873fba

  Copy full SHA for e873fba

• last sorry from SteinsLemma

  Timeroot

  committed
  bc57a97

  Copy full SHA for bc57a97

Commits on Feb 1, 2026

• work

  Timeroot

  committed
  f0d8f43

  Copy full SHA for f0d8f43

Commits on Jan 7, 2026

• couple golfs

  Timeroot

  authored
  6099da2

  Copy full SHA for 6099da2

Commits on Dec 24, 2025

• Much cleanup

  Timeroot

  committed
  65341c7

  Copy full SHA for 65341c7

Commits on Dec 21, 2025

• A lot of lemmas that Aristotle helped close! Also, fixed definition of Capacity.

  Show description for 9fb6fa1
  

  Timeroot

  and

  Aristotle-Harmonic

  committed
  9fb6fa1

  Copy full SHA for 9fb6fa1

• Cleanups

  Timeroot

  committed
  2ded1b9

  Copy full SHA for 2ded1b9

Commits on Dec 19, 2025

• Pull out Jordan multiplication of HermitianMat

  Timeroot

  committed
  2c0b269

  Copy full SHA for 2c0b269

• Some cleaning

  Timeroot

  committed
  dc35cc9

  Copy full SHA for dc35cc9

Pagination

Previous

Next