chickadee
»
array-morphisms
»
abstract-morphism?
Identifier search
abstract-morphism?
m
procedure
Check if morphism is abstract (deferred).