Function fis-finitepub

Source
:fn(pub) fis-finite ( AnyFloat → Bool )