Theorem number_field.ring_of_integers.is_integral_coe
Modification history
2022-10-03 14:28
src/number_theory/number_field/basic.lean
refactor(number_theory): reorganize number field results into new subfolder (#16764) …
Modified number_field.ring_of_integers.is_integral_coeView on Github →