graph
1
2
Sections
Graphs
Doc
Theorem
Name
Thm*
G,H:Graph. G = H
G
H
[graph-isomorphic_weakening]
cites
Thm*
Bij(T; T; Id)
[identity-biject]
graph
1
2
Sections
Graphs
Doc
G,H:Graph. G = H 
G 
HG,H:Graph. G = H G H