Theorem CategoryTheory.Cat.freeMap_id

Modification history