GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-07 02:46:33 +00:00
Code Issues Projects Releases Packages Wiki Activity
Computation models for polynomials and finitely supported functions
Junyan Xu edited this page 2025-06-03 02:51:04 +02:00

Page revisions

22 Commits

Author SHA1 Message Date
Junyan Xu
05ba40e594 add a link to a Zulip discussion 2025-06-03 02:51:04 +02:00
Eric Wieser
5411611ba7 Updated Computation models for polynomials and finitely supported functions (markdown) 2025-05-27 23:43:34 +01:00
Eric Wieser
ae7be2136e Updated Computation models for polynomials and finitely supported functions (markdown) 2025-05-27 23:25:36 +01:00
Eric Wieser
a71455c877 Updated Computation models for polynomials and finitely supported functions (markdown) 2024-04-28 15:57:48 +01:00
qawbecrdtey
71f1e3c435 Added zulip thread according to https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Why.20is.20.60Polynomial.60.20noncomputable.3F/near/422268732 2024-02-20 03:11:37 +09:00
thorimur
c4286583cb Updated Computation models for polynomials and finitely supported functions (markdown) 2023-12-09 18:24:11 -05:00
Eric Wieser
19d3b2174a Add another zulip thread 2023-09-21 11:36:11 +01:00
Eric Wieser
ff832d614e Updated Computation models for polynomials and finitely supported functions (markdown) 2023-09-21 11:31:37 +01:00
Eric Wieser
2746fa4df8 Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-21 16:50:28 +01:00
Eric Wieser
f1f977c752 Primed DFinsupp 2023-08-21 16:50:07 +01:00
Eric Wieser
e32468e75f Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 13:39:59 +01:00
Eric Wieser
d3b9f0e94b Explain what `DecidableEq ι` means in practice. 2023-08-03 13:37:51 +01:00
Eric Wieser
a4c5e61544 Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 13:09:09 +01:00
Eric Wieser
2fd37c183a Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 13:02:45 +01:00
Eric Wieser
ad22b47c8d Add another link 2023-08-03 12:57:56 +01:00
Anne Baanen
870ad32d89 Add another relevant Zulip discussion 2023-08-03 11:56:16 +00:00
Eric Wieser
851b5b85cf Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 12:54:04 +01:00
Eric Wieser
bb90907e42 Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 12:50:58 +01:00
Eric Wieser
a228dbbd36 Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 12:48:11 +01:00
Eric Wieser
5ebdc9d7b4 Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 12:47:39 +01:00
Eric Wieser
bf3299f5d5 Updated Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 12:41:57 +01:00
Eric Wieser
f8468075b0 Created Computation models for polynomials and finitely supported functions (markdown) 2023-08-03 12:40:27 +01:00