prb
/
Logicandapplications2023
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

class 26, Oct 17, 2023 summary added

This commit is contained in:
Ramchandra Phawade Phawade 2023-10-17 15:21:21 +05:30
parent a2c5bc1017
commit c495dfe79c
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
class_26_17102023/summary.txt Normal file
View File

@ -0,0 +1,9 @@
Definability of structures
-groups
-fields
-partial order
-total order
-(\nat, <=)
-(\rat, <=)