Theorem finite_compl_fixedBy_swap

Modification history