Def Top.presheaf.pushforward_pullback_adjunction

Modification history