Theorem SkyscraperPresheafFunctor.map'_id

Modification history