Theorem InitialSeg.antisymm_toFun

Modification history

2022-12-23 13:50
Mathlib/Order/InitialSeg.lean
chore: fix casing per naming scheme (#1183) …
Added InitialSeg.antisymm_toFunView on Github →