Theorem OrderIso.isCompl

Modification history