-
Guillaume Melquiond authored
Note that the "divides" definition from the theory is overridden with a notation, which happens to be equivalent.
0ff53041
Note that the "divides" definition from the theory is overridden with a notation, which happens to be equivalent.