summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions
ModeNameSize
-rw-r--r--__init__.py0logstatsplain
-rw-r--r--intro.py131logstatsplain
-rw-r--r--maps.py646logstatsplain
-rw-r--r--maps_representation.py2793logstatsplain
-rw-r--r--posets.py0logstatsplain
-rw-r--r--posets_bounds.py3061logstatsplain
-rw-r--r--posets_construction.py1214logstatsplain
-rw-r--r--posets_interval.py521logstatsplain
-rw-r--r--posets_map.py784logstatsplain
-rw-r--r--posets_monoidal.py294logstatsplain
-rw-r--r--posets_product.py1396logstatsplain
-rw-r--r--posets_representation.py5221logstatsplain
-rw-r--r--posets_sum.py1112logstatsplain
-rw-r--r--py.typed0logstatsplain
-rw-r--r--relations.py4185logstatsplain
-rw-r--r--relations_representation.py2016logstatsplain
-rw-r--r--semicategory_representation.py6272logstatsplain
-rw-r--r--semigroups.py253logstatsplain
-rw-r--r--semigroups_morphisms.py1799logstatsplain
-rw-r--r--semigroups_morphisms_representation.py4078logstatsplain
-rw-r--r--semigroups_representation.py4293logstatsplain
-rw-r--r--sets.py450logstatsplain
-rw-r--r--sets_power.py2201logstatsplain
-rw-r--r--sets_product.py1885logstatsplain
-rw-r--r--sets_properties.py974logstatsplain
-rw-r--r--sets_representation.py1957logstatsplain
-rw-r--r--sets_sum.py1535logstatsplain
-rw-r--r--sets_union_inter.py607logstatsplain