Notes for AKT-091001-1/0:23:38: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
(No difference)
|
Latest revision as of 02:13, 3 October 2009
Prop: under inclusion. The inclusion descends to an isomorphism from to (in particular the map is well defined under the equivalence relations modded out)