init.algebra.classes ⟷ Mathlib.Init.Algebra.Classes

This file has been ported!

Dependencies 2

1 files ported (33.3%)
349 lines ported (17.5%)
Show graph

The unported dependencies are