Theorem List.bex_cons

Modification history