Properties of morphisms tagged with 'misc'

Found 3 properties

• is coconstant
• is constant
• is a zero morphism