Theorem OrderIso.isSimpleOrder

Modification history