mehbark ad20702327 BadInfinities: chore redundant newline		2025-04-08 23:05:57 -04:00
..
BadInfinities.lean	BadInfinities: chore redundant newline	2025-04-08 23:05:57 -04:00
FinitudeOfPropositions.lean	all: use standard theorem identifier scheme	2025-04-08 22:13:50 -04:00
NotFEqImpEq.lean	not_f_eq_imp_eq	2025-04-08 22:19:21 -04:00
RunMEvil.lean	all: use standard theorem identifier scheme	2025-04-08 22:13:50 -04:00