This module contains Plausible.Shrinkable and Plausible.SampleableExt instances for mathlib types.

instance Plausible.Rat.shrinkable : Plausible.Shrinkable Rat

Equations

• One or more equations did not get rendered due to their size.

instance Plausible.Rat.sampleableExt : Plausible.SampleableExt Rat

Equations

• One or more equations did not get rendered due to their size.