Lookmap

Statistics

Metric	Count
Definitions	0
Theorems `length_lookmap`, `lookmap_congr`, `lookmap_cons`, `lookmap_cons_none`, `lookmap_cons_some`, `lookmap_id'`, `lookmap_map_eq`, `lookmap_nil`, `lookmap_none`, `lookmap_of_forall_not`, `lookmap_some`, `perm_lookmap`	12
Total	12

Name	Kind	Assumes	Proves	Validates	Depends On
`length_lookmap` 📖	—	—	—	—	`lookmap_map_eq`
`lookmap_congr` 📖	—	—	—	—	`lookmap_cons_none` `lookmap_cons_some`
`lookmap_cons` 📖	—	—	—	—	`lookmap_cons_none` `lookmap_cons_some`
`lookmap_cons_none` 📖	—	—	—	—	—
`lookmap_cons_some` 📖	—	—	—	—	—
`lookmap_id'` 📖	—	—	—	—	`lookmap_map_eq`
`lookmap_map_eq` 📖	—	—	—	—	`lookmap_cons_none` `lookmap_cons_some`
`lookmap_nil` 📖	—	—	—	—	—
`lookmap_none` 📖	—	—	—	—	`lookmap_cons_none`
`lookmap_of_forall_not` 📖	—	—	—	—	`lookmap_congr` `lookmap_none`
`lookmap_some` 📖	—	—	—	—	—
`perm_lookmap` 📖	—	—	—	—	`lookmap_cons_none` `lookmap_cons_some`

---