Theorem TopCat.uliftFunctorObjHomeo_symm_naturality_apply

Modification history