_:n70e8f5ea917e4291979b57e5ba4e94c1xb2
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.math.univ-paris-diderot.fr/cauderlier/math_transfer/-/tree/b276eaed9c43b61b6cd5df4a67998f55e7ee6c1a>