Documentation

Mathlib.Tactic.PrintPrefix

Instances For
    Instances For

      The command #print prefix foo will print all definitions that start with the namespace foo.

      Instances For