Theorem ENat.iInf_eq_top_of_isEmpty

Modification history