Intrinsic Normal Cone Defn

definition