fix and strengthen eq_bigmax and eq_bigmin#863

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

t6s:strengthen_eq_bigmaxt6s/analysis:strengthen_eq_bigmaxCopy head branch name to clipboard