Enum TheoremVariant 

pub enum TheoremVariant {
    Theorem,
    Lemma,
    Proposition,
    Corollary,
    Definition,
    Conjecture,
    Remark,
    Example,
    Axiom,
    Claim,
    Fact,
    Assumption,
}

Variant of theorem-like statement.

Variants

Theorem

Main theorem.

Lemma

Lemma (helper result).

Proposition

Proposition.

Corollary

Corollary (follows from theorem).

Definition

Definition.

Conjecture

Conjecture (unproven).

Remark

Remark.

Example

Example.

Axiom

Axiom.

Claim

Claim.

Fact

Fact.

Assumption

Assumption.

Trait Implementations

impl Clone for TheoremVariant

fn clone(&self) -> TheoremVariant

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TheoremVariant

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TheoremVariant

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TheoremVariant

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl PartialEq for TheoremVariant

fn eq(&self, other: &TheoremVariant) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TheoremVariant

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for TheoremVariant

impl Eq for TheoremVariant

impl StructuralPartialEq for TheoremVariant