Up – function_graphs » Function_graphs » Indexed » ExtendFinite » Y

Parameter `ExtendFinite.Y`

type t

val bot : t