Commit 2022-03-07 21:31 9728bd25
View on Github →chore(number_theory/number_field): golf int.not_is_field (#12451)
Golfed proof of number_theory.number_field.int.not_is_field
Co-authored by: David Ang [email protected]
Co-authored by: Eric Rodriguez [email protected]
Co-authored by: Violeta Hernández [email protected]