_:n79c2a58544e94f1d832159e6cd78f662xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.math.univ-paris-diderot.fr/cauderlier/sigmaid/-/blob/f0fbd3f7d009e6f631620759edbacd897718803d/coq_obj.v>