Static IrreflexiveProperty

Source
pub static IrreflexiveProperty: NsTerm<'_>
Expand description

Generated term.