Theorem HasOuterApproxClosed.apprSeq_apply_eq_one

Modification history