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

Parameter `Quasireflexive_Eq.1-Ok`

type t