Documentation

Mathlib.Testing.Plausible.Sampleable

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

source
instance Plausible.Rat.shrinkable :
Shrinkable Rat
Equations
  • One or more equations did not get rendered due to their size.
source
instance Plausible.Rat.sampleableExt :
SampleableExt Rat
Equations
  • One or more equations did not get rendered due to their size.