Theorem hasBasis_opens_closure

Modification history