Proof.Propositional.Inhabited

class Inhabited a

withInhabited