跟隨

Uniqueness of inverse.
Let f : A -> B, r = f's retraction, s = f's section
Thus, r•f = 1A, f•s = 1B
Proof:
r=r•1B=r•(f•s)=(r•f)•s=1A•s=s

登入以加入討論
g0v.social

去中心化社群架設的去中心化社群網站.