P
Initializing...
Idempotent_Magma_Element_forms_Singleton_Submagma · Prove2Me