Type Definition diffgeom::typenum::False

type False = B0;