mathlib
3eca7df5 - Eliminate `finish` from `is_partition.sUnion_eq_univ`

Commit

4 years ago

Eliminate `finish` from `is_partition.sUnion_eq_univ`

Author

stuart-presnell

stuart-presnell

Parents

Loading