yellowsquid/cat-theory.git/src/CatTheory/Exercise1/Contradiction, branch I-2-c
[no description]
http://git.yellowsquid.uk/yellowsquid/cat-theory.git/atom?h=I-2-c
2022-01-05T15:51:09Z
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
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