/Category/Monoidal/Hypergraph/

• ../
• Bundle.agda