explicit conversion from and to bool, and into algebraic structures with 0 and 1
explicit conversion from and to bool, and into algebraic structures with 0 and 1

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