Theorem OrderIso.isCompl_iff

Modification history