mathlib
03872fdd - feat(*): Prerequisites for the Spec gamma adjunction (#11209)

Commit

4 years ago

feat(*): Prerequisites for the Spec gamma adjunction (#11209) Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

erdOne

Parents