-
MICHELLAND Sébastien authoredWe're not going to use it in aflow, but we can use it in the many theorems and definitions where it'd make things a whole lot more readable.
MICHELLAND Sébastien authoredWe're not going to use it in aflow, but we can use it in the many theorems and definitions where it'd make things a whole lot more readable.
.git-blame-ignore-revs 82 B
67e283ef30860a4c09b9702fd7e08d7ce34f77aa
47ed0e13479509d4fb65dbf30336812e0a1049d1