Theorem CategoryTheory.isRepresentable_of_natIso

Modification history