Hi All,<div><br></div><div><br></div><div>What is the best way to approximate quotients in Agda? </div><div><br></div><div><br></div><div>Thanks!</div><div>Ondrej</div>