Theorem eqOn_closure₂

Modification history