Theorem Class.mem_irrefl

Modification history