Theorem List.tfae_cons_self

Modification history