Simplify `EraInEon` to take fewer constraints#316

Merged

carbolymer merged 1 commit intomainfrom newhoggy/simplify-EraInEon

Mar 4, 2024

+1-2

Commits on Mar 4, 2024

Remove unused constraint

newhoggy
authored and
carbolymer
committed