Def CategoryTheory.Discrete.compNatIsoDiscrete

Modification history