0
is not reducibly defeq to 1 - 1
if defined via Zero
class
#26
Loading
0
is not reducibly defeq to 1 - 1
if defined via Zero
class
#26