Def Function.Embedding.sectR

Modification history

2024-11-13 08:11
Mathlib/Logic/Embedding/Basic.lean
chore: camel `sectl` and `sectr` (#18907) …
Added Function.Embedding.sectRView on Github →