CostaPereira

Statistics

Metric	Count
Definitions	0
Theorems `sublemma_1_1`, `sublemma_1_2`, `sublemma_1_3`, `sublemma_1_4`, `sublemma_1_5`, `sublemma_1_6`, `sublemma_1_7`, `sublemma_1_8`, `theorem_1a`, `theorem_1b`	10
Total	10

Name	Kind	Assumes	Proves	Validates	Depends On
`sublemma_1_1` 📖	—	—	—	—	—
`sublemma_1_2` 📖	—	—	—	—	`sublemma_1_1`
`sublemma_1_3` 📖	—	—	—	—	`sublemma_1_1` `sublemma_1_2`
`sublemma_1_4` 📖	—	—	—	—	—
`sublemma_1_5` 📖	—	—	—	—	`sublemma_1_2`
`sublemma_1_6` 📖	—	—	—	—	`sublemma_1_4` `sublemma_1_5`
`sublemma_1_7` 📖	—	—	—	—	`sublemma_1_6`
`sublemma_1_8` 📖	—	—	—	—	`sublemma_1_6`
`theorem_1a` 📖	—	—	—	—	`sublemma_1_7` `sublemma_1_2`
`theorem_1b` 📖	—	—	—	—	`sublemma_1_8` `sublemma_1_2`

---