Theorem CategoryTheory.Functor.preimage_id

Modification history