Theory
NumConvContext
Parents
arithmetic
Contents
Type operators
(none)
Constants
(none)
Definitions
(none)
Theorems
save_zero
Theorems
save_zero
⊢ 0 = 0