Theorem dense_closure

Modification history