Theorem RegularSpace.of_lift'_closure

Modification history