Structure Fact

Modification history

2026-02-21 23:47
MathlibTest/TacticAnalysis.lean
chore: weekly lints for 2026-02-16 (#35490) …
Deleted FactView on Github →
2025-10-31 10:48
MathlibTest/TacticAnalysis.lean
fix(TacticAnalysis): remove syntax range check (#28950) …
Added FactView on Github →