Registry · Theorem
IV.T217
tau-effective
not_formalized
IV.T217 — Five-Fold Initiality of tau3
The structure tau3 is initial in each of the following categories: center tabularcll
Book IV
Part 0
Ch. 1