add lemmas for derivable_oo/Nyo/oy_continuous_bnd #122

Job	Run time
coq	40s
mathcomp-bigenough	43s
mathcomp-finmap	46s
mathcomp	43s
mathcomp-classical	3m 12s
mathcomp-analysis-single	21m 15s
mathcomp-reals	2m 21s
mathcomp-experimental-reals	43s
mathcomp-analysis	18m 24s
mathcomp-reals-stdlib	45s
mathcomp-analysis-stdlib	45s
	50m 17s

Provide feedback