Theorem Filter.isCompl_principal

Modification history