Def Action.preservesColimitOfPreserves

Modification history