Theorem CategoryTheory.Discrete.natIso_app

Modification history