Lemme de Newman

concept

Lemme à propos des relations binaires nœthériennes

Propriétés