/src/Cfe/Vec/Relation/Binary/Pointwise/

• ../
• Inductive.agda