/Functor/Monoidal/Strong/

• ../
• Properties.agda