Skip to content

Infimum ​

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.

Like Min, but defined for open sets. Nothing data are omitted.

FungrimInfimum
Infimum(value*) -> numberas compute-engine declares it
Typed signatures
TypePackageApplies
(value*) -> numbercompute-enginealways

Domain: Compute engine

About
CrosswalkFungrim