5 Commits

Include renames

Author	SHA1	Message	Date
JKF	201fe7942b	Make β-λ more generic (Argument can now be any type T instead of `Setn L)	2026-04-25 22:24:28 +02:00
JKF	e8ee5b200c	Some definitions and adjusted proofs	2026-04-25 21:57:10 +02:00
Julius	5cbf679c0c	small work	2026-04-21 20:44:15 +02:00
JKF	077d91a485	changes	2026-04-17 19:31:44 +02:00
JKF	f9e4b4d9aa	initial commit	2026-04-01 18:29:46 +02:00