Fix to the definitions of min and max#1270

mortberg merged 1 commit into

agda:masteragda/cubical:masterfrom

LorenzoMolena:min-fixLorenzoMolena/cubical:min-fixCopy head branch name to clipboard