Brouwer Fan Theorem for Decidable Bars

Pull Requests

New Pull Request
Rejected proof: Brouwer Fan Theorem for Decidable Bars Proof
#32 · opened by admin