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

Parameter `Quasireflexive_Eq.2-Error`

type t