mathlib
ff782dbb - Expand subtype in `out_hom` and clean-up proofs

Commit

3 years ago

Expand subtype in `out_hom` and clean-up proofs

References

ends_experiments

Author

0art0

0art0

Parents

Loading