B-algebra
Isabelle template
THEOREM
\(\circ\) is left-cancellable.
Proof available
THEOREM
\(\circ\) is right-cancellable.
Proof available
See also
On B-Algebras by J. Neggers and Hee Sik Kim