Theorem TopCat.uliftFunctorObjHomeo_naturality_apply

Modification history