Theorem Lists.Equiv.symm

Modification history