Towards schemes of finite presentation without size issues#1080
Draft
mzeuner wants to merge 40 commits intoagda:masterfrom mzeuner:FPFunctors
+340-6
Commits
Commits on Aug 23, 2021
- committed
- committed
Commits on Aug 26, 2021
Commits on Nov 2, 2021
Commits on Nov 22, 2021
Commits on Dec 9, 2021
Commits on Dec 15, 2021
Commits on Dec 16, 2021
Commits on Dec 17, 2021
Commits on Jan 4, 2022
Commits on Jan 7, 2022
Commits on Jan 10, 2022
Commits on Jan 25, 2022
Commits on Jan 27, 2022
Commits on Mar 14, 2022
Commits on Apr 6, 2022
Commits on May 12, 2022
Commits on Aug 9, 2022
Commits on Aug 11, 2022
Commits on Sep 6, 2022
Commits on Nov 23, 2022
Commits on Dec 15, 2022
Commits on Feb 6, 2023
Commits on Feb 23, 2023
Commits on Feb 28, 2023
Commits on Mar 6, 2023
Commits on May 2, 2023
Commits on Jun 26, 2023
Commits on Jun 29, 2023
Commits on Jul 27, 2023
Commits on Oct 10, 2023
Commits on Nov 8, 2023
Commits on Nov 16, 2023
- committed
Commits on Nov 17, 2023
- committed
Commits on Nov 20, 2023
- committed