Theorem foralls_variants

Modification history

2025-11-21 19:36
MathlibTest/ExtractGoal.lean
feat: `extract_goal` preserves explicit foralls (#31342) …
Added foralls_variantsView on Github →