Theorem CategoryTheory.representable_of_nat_iso

Modification history