luc c009ea53f0 port from mathematics-physics notes		2025-08-26 15:48:53 +02:00
..
additional-axioms.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
cardinalities.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
maps.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
orders.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
permutations.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
recursion-induction.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
relations.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00
sets.md	port from mathematics-physics notes	2025-08-26 15:48:53 +02:00