Commit 2026-09-02 01:26 2fce3cd8

View on Github →

chore(Condensed): remove problematic lemma (#42937) Needed for nightly#288

Estimated changes