π¨βπ«μΉ νβββ΄
β«ππ€―
π€―β«ββ(xΒ²+yΒ²)dx
π§βπ«πβ«Ο
πβ«βΟ
ππ§ ββ«
πποΈββ
π’[]π
π¨βπ«β«πβΎοΈ
#abstract algebra #real analysis #quantifier #therefore #university math #formal math