Inverse Element for Surreal Number

Karol Pak. Inverse Element for Surreal Number. Formalized Mathematics, 32(1):65-75, 2024. [doi]

Abstract

Abstract is missing.