Up – bastet » Bastet » Result » Many_Valued_Logic » Quasireflexive_Ord » 1-Ok

Parameter `Quasireflexive_Ord.1-Ok`

type t