Mathlib porting status
alternate view
out of sync
init.algebra.default
⟷ ?
Dependencies
2
+
2
2 files ported (40.0%)
444 lines ported (21.2%)
Show graph
The unported dependencies are
init.algebra.default
init.logic
init.core