/Functor/Cartesian/Instance/

• ../
• InducedSetoid.agda
• Underlying