Self-Distributive Law for Conditional

Theorem
The following is known as the Self-Distributive Law:

Formulation 1
This can otherwise be rendered as:

Also see

 * Conditional is not Left Self-Distributive