Lean dependency graph — monogate-lean
449 theorems · 4 sorries · 16 files
D:\monogate-lean\MonogateEML
×
proved theorem / lemma
open (sorry)
definition
Mathlib (external)
drag to pan · scroll to zoom · click a node for details