mathlib3
bef9c086 - Merge branch 'more_relabelling_api' into impartial_untypeclass

Commit

3 years ago

Merge branch 'more_relabelling_api' into impartial_untypeclass

Author

vihdzp

vihdzp

Parents

Loading