Theorem Rel.IsWellFounded.of_finiteDimensional

Modification history