schema_colimit simplify
schema_colimit sc : {} ---------------------------------- schema_colimit (simplify sc {})
Simplifies a colimit (up to isomorphism) by removing redundancy.
Appears in:
NewDemo
Options:
always_reload
num_threads
simplify_names
talg_reduction
timeout