Since my last definiton was evidently trash, I made a new and simpler version, f_v(L) |-> (O |-> O):
https://testitem.github.io/colg/fpt3.html
What is T?
Since my last definiton was evidently trash, I made a new and simpler version, f_v(L) |-> (O |-> O):
https://testitem.github.io/colg/fpt3.html
What is T?