/Functor/Monoidal/Braided/Strong/

• ../
• Properties.agda