Entry	Value
Package Name	option-dest-thm
Count	1
Theorems	case_option_id : !x. case_option NONE SOME x = x

Back to main package page