Takeuti's conjecture

ID: takeuti-s-conjecture

New to topics? Read the docs here!