IsoSpec_Marginal(3) on Linux

The text fa7d942f8219, as Debian 11 (Bullseye) shipped it.

The marginal distribution class (a subisotopologue).

IsoSpec_Marginal(3) on Linux now