data.fintype.small ⟷ ?

Dependencies 2 + 166

166 files ported (98.2%)
76551 lines ported (99.8%)
Show graph

The unported dependencies are