AncientEncoder

∀а (a≠∅ ∃б(б∉а ∀c(б∈с∧ с(б)=а+∞)))=> a=∅

Company:Huawei Technologies Co., Ltd.Location:China Shichuan

Pinned Repositories

AncientEncoder's Repositories