Skip to main content

fexpr_builtin_symbol_FEXPR_ProjectiveRealNumbers

flint_sys::fexpr_builtin

Constant fexpr_builtin_symbol_FEXPR_ProjectiveRealNumbers 

Source 
pub const fexpr_builtin_symbol_FEXPR_ProjectiveRealNumbers: fexpr_builtin_symbol = 325;