Def Mathlib.Tactic.Polyrith.sageTypeStr

Modification history

2025-01-26 16:12

Mathlib/Tactic/Polyrith.lean

chore(Tactic/Polyrith): remove polyrith dependency on Python (#17626) …

Added Mathlib.Tactic.Polyrith.sageTypeStr View on Github →