mathlib
791d938a - Simplify assumptions of `fg_of_one_mem_span`

Commit

5 years ago

Simplify assumptions of `fg_of_one_mem_span`

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading