flams_ontology::rdf::ontologies::ulo2

Constant SUBPROOF

Source 
pub const SUBPROOF: NamedNodeRef<'_>;
Available on crate feature rdf only.
Expand description

http://mathhub.info/ulo#subproof