Constant prop::nat::_3

pub const _3: Three;