cofinality): infer arguments (#14251)

Commit

3 years ago

refactor(set_theory/cardinal/cofinality): infer arguments (#14251) We make one of the arguments in `cof_type_le` and `lt_cof_type` implicit.

Author

vihdzp

Parents