Theorem Qpf.Fix.ind_aux

Modification history