WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Adjoint functors

Revision #3312 → #3342 · back to history

modifiede814e5b6cdc2
FieldFrom #3312To #3342
mathlib.declIdeal.isPrimeIdeal.IsPrime
provenancehumanai-moderated