add lemmas for derivable_oo/Nyo/oy_continuous_bnd #196

Job	Run time
rocq-core	41s
coq	41s
mathcomp-classical	2m 30s
mathcomp-analysis-single	14m 26s
mathcomp-reals	1m 49s
mathcomp-analysis	11m 56s
mathcomp-experimental-reals	45s
mathcomp-reals-stdlib	46s
mathcomp-analysis-stdlib	1m 24s
	34m 58s

Provide feedback