new theorems Always_Constrains_weaken and Always_Compl_Un_eq
new theorems Always_Constrains_weaken and Always_Compl_Un_eq

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