Structure Fact

Modification history

2025-10-31 10:48
MathlibTest/TacticAnalysis.lean
fix(TacticAnalysis): remove syntax range check (#28950) …
Added FactView on Github →