(70steps total) PrintForm Definitions Lemmas graph 1 3 Sections Graphs Doc

At: adjm to adjl graph 1 2 1
1. size:
2. m1: sizesize
Bij(size; size; Id)
By: BackThru Thm* Bij(T; T; Id)
Generated subgoals:

None

About:
boolnatural_numberfunctionuniverse

(70steps total) PrintForm Definitions Lemmas graph 1 3 Sections Graphs Doc