Theorem finite_compl_fixedBy_closure_iff

Modification history