Theorem le_on_closure

Modification history