CharacteristicZeroΒΆ

catdef.spad line 194 [edit on github]

Rings of Characteristic Zero.