CharacteristicNonZeroΒΆ

catdef.spad line 182 [edit on github]

Rings of Characteristic Non Zero