Use filter list entry n_tuple_of_morphism at more places #1343
Description
Some list_of_morphisms are actually tuples of a fixed length.
{{ message }}
Use filter list entry
n_tuple_of_morphism at more places #1343Some list_of_morphisms are actually tuples of a fixed length.