Theorem heq_prop

Modification history

2024-09-10 17:34

Mathlib/Init/Logic.lean

chore: deprecate most of `Init.Logic` (#16438) …

Deleted heq_prop View on Github →

2023-11-30 16:55

Mathlib/Init/Logic.lean

feat: MulAction by product monoid (#8634) …

Added heq_prop View on Github →