yellowsquid/cat-theory.git, branch i-1-c
[no description]
http://git.yellowsquid.uk/yellowsquid/cat-theory.git/atom?h=i-1-c
2022-01-05T16:04:40Z
I: 2: a: show isomorphisms compose
2022-01-05T16:04:40Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T16:04:40Z
urn:sha1:3d72d984c0a1aa60f137d5380ea49b1d5716ea48
I: 1: b: show ≡ ≇ ≤ in Preorders
2022-01-05T15:51:09Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T15:51:09Z
urn:sha1:729a483d9ab25b0cfb2471b22d723960c7f21b0d
misc: instance: define Preorders
2022-01-05T15:34:53Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T15:34:53Z
urn:sha1:4d9a1102c3259b0d22787bb83eef652e3e870257
I: 1: a: show 2 ≇ 3 in Setoids
2022-01-05T15:33:41Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T15:33:41Z
urn:sha1:e29c60d82f51f61c0649fef81536b4e5029a914d
Initial commit.
2022-01-05T14:55:38Z
Chloe Brown
chloe.brown.00@outlook.com
2022-01-05T14:53:26Z
urn:sha1:34b3cf760e2e56542092c0da587cd43c4fa90939