/src/Data/Nat/Properties/

• ../
• Simple.agda