Module Translate_prop.Create.F


module F: M.F