Commit 2023-03-01 02:42 0dd4319a
View on Github →chore(set_theory/ordinal/fixed_point): style + comments (#18322) We add some missing brackets, and some much-needed comments on various functions.
chore(set_theory/ordinal/fixed_point): style + comments (#18322) We add some missing brackets, and some much-needed comments on various functions.