bergschaf/banach-tarski issues and pull requests

#27 - Eequi Ball

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#27 - Eequi Ball

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#26 - Blueprint

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#26 - Blueprint

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#25 - Equ_trans where the translation is zero works...

Issue - State: closed - Opened by Bergschaf 11 months ago

#25 - Equ_trans where the translation is zero works...

Issue - State: closed - Opened by Bergschaf 11 months ago

#24 - blueprint update

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#24 - blueprint update

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#23 - Blueprint updates

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#23 - Blueprint updates

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#22 - Blueprint errors

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#22 - Blueprint errors

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#21 - build errors

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#21 - build errors

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#20 - Development

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#20 - Development

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#19 - Equi Kreis

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#19 - Equi Kreis

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#18 - Blueprint updates

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#18 - Blueprint updates

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#17 - Development

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#17 - Development

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#16 - better

Pull Request - State: closed - Opened by Bergschaf 11 months ago

#15 - General word form

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#15 - General word form

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#14 - Langfassung landeswettbewerb

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#14 - Langfassung landeswettbewerb

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#13 - Fixpunkte

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#12 - Documentation

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#11 - Little update

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#10 - Plakat

Pull Request - State: closed - Opened by Bergschaf 12 months ago

#9 - s

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#8 - Update ./banach_tarski/Lemma_3_2.lean

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#7 - Development

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#6 - Development

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#5 - Development

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#4 - Development

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#3 - uu

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#2 - Subgroup induction

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

#1 - Subgroup induction

Pull Request - State: closed - Opened by Bergschaf about 1 year ago

GitHub / bergschaf/banach-tarski issues and pull requests