Theorem ULift.isClosed_iff

Modification history