beta_eta_contract specification befor processing. These normal forms avoid unpleasant surprises later on.
beta_eta_contract specification befor processing. These normal forms avoid unpleasant surprises later on.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle