Theorem eqOn_closure₂'

Modification history