Theorem RegularSpace.inf

Modification history