fixed_point): style + comments (#18322)

Commit

2 years ago

chore(set_theory/ordinal/fixed_point): style + comments (#18322) We add some missing brackets, and some much-needed comments on various functions.

Author

vihdzp

Parents