Theorem Int.mem_box

Modification history