Version 1.20.0
Added a theory about ordered loops. The metric spaces theory was rewritten with metrics defined as valued in an ordered loop.
Added a theory about ordered loops. The metric spaces theory was rewritten with metrics defined as valued in an ordered loop.