Akshobhya K M
Akshobhya K M
In this PR - Correct definitions `LeftBol` and `IsMoufangLoop` Show the following for MoufangLoop - `leftAlternative : LeftAlternative _∙_` - `rightAlternative : RightAlternative _∙_` - `alternative : Alternative _∙_` -...
I noticed that camel case is missing in Algebra.Ordered.Structures and Algebra.Ordered.Bundles. I think we should keep the naming standard same as in Algebra.Structures eg: https://github.com/agda/agda-stdlib/blob/ae0702e5f899db6622c02455c50e4446734ac051/src/Algebra/Ordered/Structures.agda#L36 I propose to keep it...
This PR is inspired from paper [New Algebraic Properties of Middle Bol Loops](https://arxiv.org/abs/1606.09169).