Theorem Ctop.Realizer.isClosed_iff

Modification history