mathlib3

old WIP trying to replace fractional_ideal by submodule in class_group: to be ported

#19245

Closed