add lemmas for derivable_oo/Nyo/oy_continuous_bnd #177

Job	Run time
coq	49s
mathcomp	52s
mathcomp-classical	2m 46s
mathcomp-analysis-single	16m 32s
mathcomp-reals	1m 59s
mathcomp-analysis	14m 11s
mathcomp-experimental-reals	50s
mathcomp-reals-stdlib	48s
mathcomp-analysis-stdlib	1m 45s
ssprove	7m 25s
	47m 57s

Provide feedback