Open main menu
Groupprops
^{β}
Edit
Finite-extensible implies class
Redirect page
Redirect to:
Finite-extensible implies class-preserving