Theorem equality ≪ | index | src | ≫

theorem equality (x y z: set): $ x = y \imp x = z \imp y = z $;

x = y \imp x = z \imp y = z

Axiom use