Theorem test_axioms

Modification history

2026-10-23 11:07

MathlibTest/Tactic/Ring/Ring.lean

chore: modulize most of MathlibTest (#45134) …

Deleted test_axioms View on Github →

2026-01-24 13:47

MathlibTest/ring.lean

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

Added test_axioms View on Github →