math-comp icon indicating copy to clipboard operation
math-comp copied to clipboard
verified publisher icon math-comp

remove `big_uncond`

Open CohenCyril opened this issue 5 years ago • 0 comments

For mathcomp 1.14.0, remove big_uncond (i.e. the deprecation warning set for 1.13.0 in #589, cf #492)

Also remove other 1.13.0 deprecations

CohenCyril avatar Sep 09 '20 23:09 CohenCyril