Theorem Rel.IsWellFounded.inv_of_finiteDimensional

Modification history