Stream: Is there code for X?
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