Theorem List.exists_tfae

Modification history