Theorem closure_Ioi'

Modification history