Theorem CategoryTheory.mem_of_iso

Modification history