{"comment":{"url":"https://api.github.com/repos/GPPassos/alc-lean/comments/12577076","html_url":"https://github.com/GPPassos/alc-lean/commit/c03645beca6c5a8f1f3a2d3fca6b9dd1b6472e44#commitcomment-12577076","id":12577076,"user":{"login":"GPPassos","id":13408995,"avatar_url":"https://avatars.githubusercontent.com/u/13408995?v=3","gravatar_id":"","url":"https://api.github.com/users/GPPassos","html_url":"https://github.com/GPPassos","followers_url":"https://api.github.com/users/GPPassos/followers","following_url":"https://api.github.com/users/GPPassos/following{/other_user}","gists_url":"https://api.github.com/users/GPPassos/gists{/gist_id}","starred_url":"https://api.github.com/users/GPPassos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GPPassos/subscriptions","organizations_url":"https://api.github.com/users/GPPassos/orgs","repos_url":"https://api.github.com/users/GPPassos/repos","events_url":"https://api.github.com/users/GPPassos/events{/privacy}","received_events_url":"https://api.github.com/users/GPPassos/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"c03645beca6c5a8f1f3a2d3fca6b9dd1b6472e44","created_at":"2015-08-06T22:35:08Z","updated_at":"2015-08-06T22:35:08Z","body":"Some extra information:\r\nI tried to prove SetEqual, but still couldn't.\r\ndrop_last_label is done, and it wasn't necessary to prove sigma_downInternalLabel"}}