agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

strengthened bezout, uniqueness of reduced numerator/denominator

Open blu-bird opened this issue 3 years ago • 0 comments

blu-bird avatar Oct 18 '22 01:10 blu-bird