Session Lambert_W

View theory dependencies
View document
View outline

Theories

Lambert_W
HOL-Library.Function_Algebras
Landau_Symbols.Group_Sort
Landau_Symbols.Landau_Real_Products
Landau_Symbols.Landau_Simprocs
- File ‹landau_simprocs.ML›
Landau_Symbols.Landau_More
Stirling_Formula.Stirling_Formula
Lambert_W_MacLaurin_Series