LeanInfoTheory v0.1.0 API reference

Signature-bearing documentation for the 31 supported modules and 601 supported declarations. Imported dependency pages are included so rendered signatures, navigation, and search remain complete.

This was built using Lean 4 4.33.1