Theorem ZMod.fieldRange_castHom_eq_bot

Modification history