Theorem forall₂_comm

Modification history

2026-03-26 22:21
Mathlib/Logic/Basic.lean
chore(Logic): deprecate `forall_swap` and `exists_swap` (#37164) …
Added forall₂_commView on Github →