Proof concerning a transitive closure

Printable View