Email Gateway (Aug 23 2022 at 08:15): Email Gateway (Aug 23 2022 at 08:15):From: Abel Martin <abel.martin314@gmail.com>
Dear René,
The theorem whose proof I am trying to formalize is surjection iff right
cancellable <https://proofwiki.org/wiki/Surjection_iff_Right_Cancellable>.
Specifically, sufficient condition
<https://proofwiki.org/wiki/Surjection_iff_Right_Cancellable#Sufficient_Condition>
which uses the definition right cancellable mapping
<https://proofwiki.org/wiki/Definition:Right_Cancellable_Mapping>.
Best, Abel
El mié., 29 ene. 2020 a las 11:59, Thiemann, René (<Rene.Thiemann@uibk.ac.at>)
escribió:
Last updated: May 06 2024 at 16:21 UTC