cast_card_eq_zero

Stream: Is there code for X?

[Rob Lewis]

We have docs#finite_field.cast_card_eq_zero but this holds more generally (i.e. in rings, not fields). Does this exist somewhere under a different name? If not, where does it belong? Somewhere earlier in the hierarchy than field_theory.finite I guess.