Writing a Proof using Def of neighborhood

Printable View