Skip to main content

fexpr_builtin_symbol_FEXPR_IdentityMatrix

flint_sys::fexpr_builtin

Constant fexpr_builtin_symbol_FEXPR_IdentityMatrix 

Source 
pub const fexpr_builtin_symbol_FEXPR_IdentityMatrix: fexpr_builtin_symbol = 207;