:= package:eq

Leibnizian equality states that two things are equal if you can substitute one for the other in all contexts

Heterogeneous Leibnizian equality. Leibnizian equality states that two things are equal if you can substitute one for the other in all contexts.