Namespace

Mathlib.Logic

npa-mathlib

Packages

2

Module

63

Theorems

750

Declarations

1016

Child namespaces

0

No child namespaces.

Direct modules

5

Mathlib.Logic.Basic Mathlib.Logic.Eq Mathlib.Logic.EqReasoning Mathlib.Logic.Iff Mathlib.Logic.Prop