orthogonality_of_self-distributivity

This is a code base accompanying the master thesis with the title 'On orthogonality of Self-Distributivity' by R. Schikora.