@hackage eq3.1

Leibnizian equality

Leibnizian equality