Theorem bc

Modification history

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