Def Action.preservesColimitsOfSizeOfPreserves

Modification history