Session Sqrt_Babylonian
View
theory dependencies
View
document
View
outline
Theories
Sqrt_Babylonian_Auxiliary
Log_Impl
NthRoot_Impl
Sqrt_Babylonian