Structure Semiquot

Modification history

2023-08-10 19:52

Mathlib/Data/Semiquot.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Semiquot View on Github →

2023-01-02 20:12

Mathlib/Data/Semiquot.lean

feat: Port data.semiquot (#1275) …

Added Semiquot View on Github →