Leonardo de Moura de2e2447d2 chore: style		2022-04-07 17:35:05 -07:00
..
Data	chore: style	2022-04-07 17:35:05 -07:00
Data.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
ShareCommon.lean	chore: rename PointedType => NonemptyType	2022-01-15 11:43:53 -08:00