Theorem Computation.mem_pure_iff

Modification history

2025-03-11 02:02
Mathlib/Data/Seq/Computation.lean
chore(Data/S*): process a batch of porting notes (#22765)
Added Computation.mem_pure_iffView on Github →