Theorem CategoryTheory.preimage_id

Modification history