Closed kris-brown closed 7 months ago
This will allow one to use @acset_colim with ACSets with Symbol attributes, which is a common attribute type.
@acset_colim
Symbol
This will allow one to use
@acset_colim
with ACSets withSymbol
attributes, which is a common attribute type.