Theorem Rel.wellFounded_swap_of_finiteDimensional

Modification history