An Agda formalization of "division by 2" in classical ZF without choice.
Primary LanguageAgda
No issues in this repository yet.