f_neg

open fun f_neg()(source)