Commit 2026-01-24 13:47 9b18ceec

View on Github →

chore: revert "golf with grind to reduce explicit lemma references" (#34013) (#34317)

Estimated changes

added theorem test_axioms