Theorem ab

Modification history

2025-11-05 13:09
MathlibTest/TacticAnalysis.lean
refactor(TacticAnalysis): use full CommandElabM context in test (#29771) …
Added abView on Github →