Def Function.Embedding.sectr

Modification history

2024-11-13 08:11

Mathlib/Logic/Embedding/Basic.lean

chore: camel `sectl` and `sectr` (#18907) …

Deleted Function.Embedding.sectr View on Github →

2022-11-28 01:58

Mathlib/Logic/Embedding/Basic.lean

port logic.embedding.basic (#700) …

Added Function.Embedding.sectr View on Github →