nLab
conjecture

Examples

References