Theorem gt_irrefl

Modification history