Theorem List.formPerm_apply_lt_get

Modification history