This module contains Plausible.Testable and Plausible.PrintableProb instances for mathlib types.

instance Plausible.Testable.factTestable {p : Prop} [Testable p] : Testable (Fact p)

instance Plausible.Fact.printableProp {p : Prop} [PrintableProp p] : PrintableProp (Fact p)