Theorem yz

Modification history

2025-08-14 23:22
MathlibTest/TacticAnalysis.lean
feat: tactic analysis framework (#26683) …
Added yzView on Github →