Issues

• Refresh interactive import graph HTML with proof-route colors

  cameronfreer/exchangeability#131 · Filter by author cameronfreer opened on May 28, 2026

• Note: optional CondIndep alignment with mathlib's ProbabilityTheory.CondIndepFun

  cameronfreer/exchangeability#52 · Filter by author cameronfreer opened on May 21, 2026

• Note: optional ViaL2 simplification by canonicalizing the directing measure

  cameronfreer/exchangeability#51 · Filter by author cameronfreer opened on May 21, 2026

• Import graph: fix disconnected components

  cameronfreer/exchangeability#12 · Filter by author cameronfreer opened on Jan 13, 2026