Imagedelimager:Image de l'image rciproque
Imagerciproque:Image rciproque d'un intervalle
Imagerciproque2:Image rciproque de l'image
bijquad:Bijectivit quadratique
fraction:Fraction
invval:Valeur rciproque
nonderrecip:Rciproque non-drivable
prcroiss:Preuve croissance rciproque
prinj:Preuve injectivit rciproque
prsurj:Preuve surjectivit rciproque
quadratic:Quadratique
reciproc:Drive rciproque
