let X be non empty set ; :: thesis: for r being Real

for f being V120() V121() Function of X,ExtREAL holds

( r (#) f is V120() & r (#) f is V121() )

let r be Real; :: thesis: for f being V120() V121() Function of X,ExtREAL holds

( r (#) f is V120() & r (#) f is V121() )

let f be V120() V121() Function of X,ExtREAL; :: thesis: ( r (#) f is V120() & r (#) f is V121() )

for f being V120() V121() Function of X,ExtREAL holds

( r (#) f is V120() & r (#) f is V121() )

let r be Real; :: thesis: for f being V120() V121() Function of X,ExtREAL holds

( r (#) f is V120() & r (#) f is V121() )

let f be V120() V121() Function of X,ExtREAL; :: thesis: ( r (#) f is V120() & r (#) f is V121() )