Stream: Is there code for X?

Topic: cast_card_eq_zero

Rob Lewis (Sep 16 2020 at 09:21):

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.

Last updated: May 07 2021 at 21:10 UTC