-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathfinite.txt
More file actions
2 lines (2 loc) · 975 Bytes
/
Copy pathfinite.txt
File metadata and controls
2 lines (2 loc) · 975 Bytes
1
2
Example of how you can easily work when the theory is fin. ax.
https://live.lean-lang.org/#codez=PQWhAICEEMGcFNzQE4EsAuALAtvdqBjYAe2QBN40A7Ac3AAdoCBraG+ALnAGoAacAAz8AjPwBU/QCZE4AO4ZMUYYGQCSAE4kVMuADCAOnAhgAKFjpkAVwLpzyRADFUVAJIAReABt00AeAAUVc2xwLgAVAE96eABKI3BwAG0ALUpicADsAF0EgHkqRHSs+IBBMi0ChIBZc3c0wMKAGQBRWszZTEp4WIMISGE4rgAPHnA+wAMiQS6AIz6uQAAicCGudP4h7j8ZlqjwcYEusCgAJn6/VZGtgF4/MOHhLcAkwgXwS7Cpo7nH66XAlZun8Gu1n0HkNnnsegBmY6nHyXAZTSHvRYtH5rGELMFQAAsUOGvgBZz+vlOYS2gKm2MR/2CyMeazxNwuJ2GJJuGMgAFYcWJBH9dnFJpzKV9sD9uWi+d0oAA2LlXBmEobcllrOH8mWUz40xVywGMongJWk9FxfaQADsx310mugHIiKnSAb3R7POKu3zQKj4WBhbC4MwkqYWjXU5aPa3gO3XB3gYF/F4mnoADhx0bW11dGczWb82GIVGI6DzhAwYRAeZAaBomHQMX5yeDwp+qf+bPU1KG4cAKYTgQDAROAAF4ogdx7O+aSoWDgQA4BGRUAAzOcdKgERDwAYT9CwQC4BLXwJN1A2teAu73h43acPQQmdK6uD5AX9hF0CJafMKjX1Lk+jAA3FCoaBJncRAAG90gAXwSZJkFScp4lyfI6gSEoyiQ+IqhqOCmhaDIjCMLB4FIeAgmAgBHAB9Ww5xqXwKmpBxnDcTxvE2al5iRUMhgAHlhYJLkmeNwEcMxUlVcACDzH8ngAPnAStqwAbjkmQEi4iAKl0SZIQGXC4mgeh6Hca4NMmRMgA