/DecorationFunctor/Hypergraph/

• ../
• Labeled.agda