ForMathlib (deprecated)

This module is deprecated since 2026-01-08. Use FormalConjecturesForMathlib directly.