Theorem Lists.Equiv.antisymm_iff

Modification history