Theorem ciInf_eq_top_of_top_mem

Modification history