Up – bastet » Bastet » Result » Many_Valued_Logic » Quasireflexive_Ord » 2-Error

Parameter `Quasireflexive_Ord.2-Error`

type t